Deutsches Rechtswörterbuch (DRW): Mühlenbann