§ 32 HRG - (weggefallen)
§ 32 (weggefallen)