2.
Die Verfahrenskosten von Fr. 800.00 werden der Beschwerdegegnerin auferlegt.

3.
Es werden keine Parteientschädigungen zugesprochen.

Zustellung an:
den Beschwerdeführer
die Beschwerdegegnerin
- 10 -

die Beigeladene
das Bundesamt für Sozialversicherungen

Beschwerde in öffentlich-rechtlichen Angelegenheiten