Deutsches Rechtswörterbuch (DRW): (Mühlenbesserung)