Verwaltungsgerichtsordnung
Stand: 10.06.2019 (konsolidierte Textfassung, kein amtliches Inkrafttretensdatum)
Die ehrenamtlichen Richter werden auf fünf Jahre gewählt.