Deutsches Rechtswörterbuch (DRW): Grundrichter