Deutsches Rechtswörterbuch (DRW): Oberrechtssitzer