7. Prozesskosten
7.1. Verteilung
Die Prozesskosten, bestehend aus Gerichtskosten und Parteientschädigung, werden der unterliegenden Partei auferlegt (Art. 95 Abs. 1 und
Art. 106 Abs. 1 ZPO). Wird das Verfahren als gegenstandslos abgeschrieben und sieht das Gesetz nichts anders vor, liegt die Verteilung der Prozesskosten im Ermessen des Gerichts (Art. 107 Abs. 1 lit. e ZPO).