Deutsches Rechtswörterbuch (DRW): Judenkoch