Reichsgesetzblatt See original record