Deutsches Rechtswörterbuch (DRW): Mühlenbuch