Deutsches Rechtswörterbuch (DRW): Generalhandwerksordnung