Deutsches Rechtswörterbuch (DRW): Mahlmühle