a) Aus den vorangehenden Erwägungen ergibt sich, dass die Projektänderung bewilligt
werden kann. Gemäss Ziff. 4 des Vergleichs vom 20./27. Juli 2018 haben die Parteien für
diesen Fall vereinbart, dass die Beschwerdeführenden ihr Rechtsmittel zurückziehen.