Deutsches Rechtswörterbuch (DRW): Gerichtspflege