3.
Es wird keine Parteientschädigung ausgerichtet.

Zustellung an:
die Beschwerdeführer (2)
die Beschwerdegegnerin (3)

Mitteilung an:
die mitwirkenden Fachrichter
die Gerichtskasse

Rechtsmittelbelehrung Verwaltungsgerichtsbeschwerde