§ 57 HRG

(weggefallen)