Deutsches Rechtswörterbuch (DRW): Hobelordnung