6. Dem Ausgang des Verfahrens entsprechend sind die Kosten in Anwendung von
Art. 144 Abs. 1 DBG den Beschwerdegegnern aufzuerlegen. Die Höhe der Verfahrenskosten wird durch das kantonale Recht bestimmt (Art. 144 Abs. 5 DBG). Das heisst, dass
insbesondere der Tarif vom 17. Dezember 1991 der Verfahrenskosten und Entschädigungen in der Verwaltungsjustiz zur Anwendung gelangt (vgl. Art 146 f. VRG).

Im vorliegenden Fall erscheint es angemessen, die Gerichtsgebühr auf 20'000 Franken
festzusetzen.

D e r H o f e r k e n n t :

I. Die Beschwerde wird gutgeheissen.