Deutsches Rechtswörterbuch (DRW): Mühlenrechnung