§ 23 HRG
§ 23 (weggefallen)