§§ 77 bis 80 HRG

(weggefallen)