RGBl. {Reichsgesetzblatt}, abbr.