Deutsches Rechtswörterbuch (DRW): Richterei