§ 51 HRG
§ 51 (weggefallen)