Deutsches Rechtswörterbuch (DRW): Oberrichterstelle