Deutsches Rechtswörterbuch (DRW): Judenmühle?