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

3.
Die Beschwerdegegnerin wird verpflichtet, dem Beschwerdeführer die Parteikosten in richterlich festgesetzter Höhe von Fr. 2'700.00 zu bezahlen.

Zustellung an:
den Beschwerdeführer (Vertreter; 2-fach)
die Beschwerdegegnerin
die Beigeladene
das Bundesamt für Sozialversicherungen

Beschwerde in öffentlich-rechtlichen Angelegenheiten