Es rechtfertigt sich damit gesamthaft, dem Beschwerdeführer einen Viertel der richterlich festzusetzenden Parteientschädigung
von Fr. 3'300.00 (Art. 61 lit. g ATSG), das heisst Fr. 825.00, zuzusprechen
(vgl. SVR 2011 IV Nr. 38 S. 112, 9C_580/2010 E. 4.2.2; Urteile des Bundesgerichts 8C_533/2016 vom 18. Oktober 2016 E. 6.2.2, 8C_478/2015
vom 12. Februar 2016 E. 5). Der Beschwerdegegnerin steht aufgrund ihrer
Stellung als Sozialversicherungsträgerin (BGE 126 V 143 E. 4 S. 149 ff.)
kein Anspruch auf Parteientschädigung zu.

Das Versicherungsgericht erkennt: