Deutsches Rechtswörterbuch (DRW): Hauptgerechtigkeit