§ 23 HRG

(weggefallen)