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