Deutsches Rechtswörterbuch (DRW): Dienstgericht