§ 52 HRG

(weggefallen)