Title: Deutsches reichs-gesetzbuch für industrie