Deutsches Rechtswörterbuch (DRW): (Oberrichtermann)