Citation: 9C_452/2018 E. 1.2

1.2. Mit dem Urteil 9C_130/2015 vom 14. September 2015 (SVR 2016 BVG Nr. 16 S. 66) wies das Bundesgericht die Sache in folgenden Punkten an das kantonale Gericht zurück: Die umstrittene Ausfinanzierungspflicht richte sich nach § 76 Abs. 3 des Versicherungsvertrags 2005, welche Bestimmung nach dem Vertrauensprinzip auszulegen sei (E. 4 des genannten Urteils). Zudem sei abzuklären, ob das Teilliquidationsverfahren, soweit erforderlich, stattgefunden habe und definitiv abgeschlossen sei, andernfalls die eingeklagte Forderung weder in Bestand noch Höhe liquid wäre (E. 6 des genannten Urteils). Bei der Höhe des versicherungstechnischen Fehlbetrags habe es sein Bewenden, soweit die Jahresrechnung 2012 als Teilliquidationsbilanz herangezogen wurde und darin bestimmte bankseitige Rückerstattungen berücksichtigt worden waren (E. 7 des genannten Urteils).