Deutsches Rechtswörterbuch (DRW): Mühlenschatz