Citation: 9C_454/2016 E. 3.1

3.1. Das kantonale Gericht ist auf die in der Klage gestellten Feststellungsbegehren (Ziff. 1 und 5) nicht eingetreten. Hingegen hat es die Widerklage und die Klagebegehren Ziff. 2, 3, 6 und 7 betreffend die Beitragspflicht der A.________ AG und der B.________ AG ab 1. Januar 2009 sowie entsprechende Verzugszinse geprüft. Umstritten war und ist in erster Linie, ob und inwieweit die Beschwerdeführerinnen resp. deren Betriebsteile vom betrieblichen Geltungsbereich gemäss E. 2.2 erfasst werden. Entsprechend den Rechtsbegehren in der Beschwerde (vgl. Art. 107 Abs. 1 BGG) ist im bundesgerichtlichen Verfahren die Beitragspflicht ab 1. Januar 2010 massgeblich.