§ 54 HRG
§ 54 (weggefallen)