Deutsches Rechtswörterbuch (DRW): Allodialmühle