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