Deutsches Rechtswörterbuch (DRW): Mahlmeister