§ 82 HRG
§ 82 (weggefallen)