Deutsches Rechtswörterbuch (DRW): Jungherzog