Rechtsbibliothek
§ 33 HRG
(weggefallen)