4.
Das Verfahren ist kostenlos (
Art. 134 OG). Eine Parteientschädigung wird nicht zugesprochen, weil die obsiegende Beschwerdegegnerin eine öffentlich-rechtliche Aufgabe im Sinne von
Art. 159 Abs. 2 OG wahrnimmt und die Voraussetzungen für eine ausnahmsweise Zusprechung einer Entschädigung nicht gegeben sind (
BGE 128 V 133 Erw. 5b mit Hinweisen).
Demnach erkennt das Eidg. Versicherungsgericht:
1.
Die Verwaltungsgerichtsbeschwerde wird abgewiesen.
2.
Es werden keine Gerichtskosten erhoben.