§

§ 52 HRG

(weggefallen)