Deutsches Rechtswörterbuch (DRW): Baumwerker