Deutsches Rechtswörterbuch (DRW): Judenkönig