Deutsches Rechtswörterbuch (DRW): (Mühlenrechtigkeit)