Deutsches Rechtswörterbuch (DRW): Mühlenbereuter