Deutsches Rechtswörterbuch (DRW): Reichsrichteramt