Deutsches Rechtswörterbuch (DRW): Mühlenpacht