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