Deutsches Rechtswörterbuch (DRW): Holzformenschneider