Deutsches Rechtswörterbuch (DRW): Herrenmühle