§ 82 HRG

(weggefallen)