1.
Die Beschwerde wird abgewiesen, soweit darauf eingetreten wird.

2.
Die Gerichtskosten von Fr. 800.00 werden dem Beschwerdeführer auferlegt.

3.
Es wird keine Parteientschädigung zugesprochen.

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

Beschwerde in öffentlich-rechtlichen Angelegenheiten