Deutsches Rechtswörterbuch (DRW): Budenmann