Deutsches Rechtswörterbuch (DRW): Offizialrichter