Deutsches Rechtswörterbuch (DRW): Mühlenreise