Verwaltungsgerichtsordnung
Stand: 10.06.2019 (konsolidierte Textfassung, kein amtliches Inkrafttretensdatum)
Bei den Verwaltungsgerichten können auch folgende Richter verwendet werden: