Deutsches Rechtswörterbuch (DRW): oberrichterlich