Deutsches Rechtswörterbuch (DRW): Kameralmahlmühle