Bundesgericht
Tribunal fédéral
Tribunale federale
Tribunal federal

{T 0/2}

9C 889/2014

Urteil vom 19. Februar 2016

II. sozialrechtliche Abteilung

Besetzung
Bundesrichterin Glanzmann, Präsidentin,
Bundesrichter Meyer, Bundesrichterin Pfiffner, Bundesrichter Parrino, Bundesrichterin Moser-Szeless,
Gerichtsschreiberin Dormann.

Verfahrensbeteiligte
A.________,
vertreten durch Rechtsanwalt Dr. Kaspar Saner,
Beschwerdeführer,

gegen

Stiftung B.________,
vertreten durch Rechtsanwältin Marta Mozar,
Beschwerdegegnerin.

Gegenstand
Berufliche Vorsorge (Freizügigkeitsleistung),

Beschwerde gegen den Entscheid des Sozialversicherungsgerichts des Kantons Zürich
vom 31. Oktober 2014.

Sachverhalt:

A.
Der 1960 geborene A.________ war bei der Stiftung B.________ (nachfolgend: Vorsorgestiftung) für die überobligatorische berufliche Vorsorge versichert, als der Geschäftsbereich, in dem er tätig war, auf den 30. Juni 2010 in eine neu gegründete Gesellschaft ausgegliedert wurde. Diese schloss sich ebenfalls der Vorsorgestiftung an; A.________ blieb somit bis zu seinem Austritt am 31. Mai 2013 bei ihr versichert. Gemäss Vorsorgeausweis vom 4. April 2013 betrug die Freizügigkeitsleistung per 31. Mai 2013 insgesamt Fr. 79'671.70. Mit diesem Betrag war A.________ nicht einverstanden; eine Einigung mit der Vorsorgestiftung konnte nicht gefunden werden.

B.
Mit Klage vom 5. Juli 2013 beantragte A.________, die Vorsorgestiftung sei zu verpflichten, ihm Fr. 298'254.- zu bezahlen, nebst Zins in der Höhe des BVG-Minimalzinssatzes plus 1 % seit 30. Juni 2013 (zahlbar an seine aktuelle Vorsorge- resp. Freizügigkeitseinrichtung). Das Sozialversicherungsgericht des Kantons Zürich wies die Klage mit Entscheid vom 31. Oktober 2014 ab.

C.
A.________ lässt mit Beschwerde in öffentlich-rechtlichen Angelegenheiten die Aufhebung des Entscheids vom 31. Oktober 2014 beantragen und das vorinstanzliche Rechtsbegehren erneuern; eventualiter sei die Vorsorgestiftung zu verpflichten, ihm Fr. 58'076.- zu bezahlen, nebst Zins in der Höhe des BVG-Minimalzinssatzes plus 1 % seit 30. Juni 2013 (zahlbar an seine aktuelle Vorsorge- resp. Freizügigkeitseinrichtung); subeventualiter sei die Vorsorgestiftung zu verpflichten, ihm für das vorinstanzliche Verfahren eine Parteientschädigung von 22,1 Anwaltsstunden à Fr. 300.- netto auszurichten, allenfalls sei die Sache zur Neufestsetzung der Parteientschädigung an das kantonale Gericht zurückzuweisen.
Die Vorsorgestiftung lässt auf Abweisung der Beschwerde schliessen. Das Bundesamt für Sozialversicherungen (BSV) verzichtet auf eine Stellungnahme.

Erwägungen:

1.
Mit der Beschwerde in öffentlich-rechtlichen Angelegenheiten kann unter anderem die Verletzung von Bundesrecht gerügt werden (Art. 95 lit. a
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 95 Schweizerisches Recht - Mit der Beschwerde kann die Verletzung gerügt werden von:
a  Bundesrecht;
b  Völkerrecht;
c  kantonalen verfassungsmässigen Rechten;
d  kantonalen Bestimmungen über die politische Stimmberechtigung der Bürger und Bürgerinnen und über Volkswahlen und -abstimmungen;
e  interkantonalem Recht.
BGG). Die Feststellung des Sachverhalts kann nur gerügt werden, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 95 Schweizerisches Recht - Mit der Beschwerde kann die Verletzung gerügt werden von:
a  Bundesrecht;
b  Völkerrecht;
c  kantonalen verfassungsmässigen Rechten;
d  kantonalen Bestimmungen über die politische Stimmberechtigung der Bürger und Bürgerinnen und über Volkswahlen und -abstimmungen;
e  interkantonalem Recht.
beruht und wenn die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein kann (Art. 97 Abs. 1
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 97 Unrichtige Feststellung des Sachverhalts - 1 Die Feststellung des Sachverhalts kann nur gerügt werden, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95 beruht und wenn die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein kann.
1    Die Feststellung des Sachverhalts kann nur gerügt werden, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95 beruht und wenn die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein kann.
2    Richtet sich die Beschwerde gegen einen Entscheid über die Zusprechung oder Verweigerung von Geldleistungen der Militär- oder Unfallversicherung, so kann jede unrichtige oder unvollständige Feststellung des rechtserheblichen Sachverhalts gerügt werden.86
BGG). Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (Art. 105 Abs. 1
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 105 Massgebender Sachverhalt - 1 Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat.
1    Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat.
2    Es kann die Sachverhaltsfeststellung der Vorinstanz von Amtes wegen berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95 beruht.
3    Richtet sich die Beschwerde gegen einen Entscheid über die Zusprechung oder Verweigerung von Geldleistungen der Militär- oder Unfallversicherung, so ist das Bundesgericht nicht an die Sachverhaltsfeststellung der Vorinstanz gebunden.95
BGG). Es kann die Sachverhaltsfeststellung der Vorinstanz von Amtes wegen berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 95 Schweizerisches Recht - Mit der Beschwerde kann die Verletzung gerügt werden von:
a  Bundesrecht;
b  Völkerrecht;
c  kantonalen verfassungsmässigen Rechten;
d  kantonalen Bestimmungen über die politische Stimmberechtigung der Bürger und Bürgerinnen und über Volkswahlen und -abstimmungen;
e  interkantonalem Recht.
beruht (Art. 105 Abs. 2
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 105 Massgebender Sachverhalt - 1 Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat.
1    Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat.
2    Es kann die Sachverhaltsfeststellung der Vorinstanz von Amtes wegen berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95 beruht.
3    Richtet sich die Beschwerde gegen einen Entscheid über die Zusprechung oder Verweigerung von Geldleistungen der Militär- oder Unfallversicherung, so ist das Bundesgericht nicht an die Sachverhaltsfeststellung der Vorinstanz gebunden.95
BGG).

2.
Das kantonale Gericht hat nach zweifachem Schriftenwechsel weitere Eingaben des Beschwerdeführers (vom 20. Mai, 26. Juni und 30. September 2014) und der Vorsorgestiftung (vom 19. Juni 2014, samt Beilagen) zu den Akten genommen. Entgegen der Auffassung des Beschwerdeführers stellt der Umstand, dass die Vorinstanz die Eingabe vom 19. Juni 2014 nicht aus dem Recht gewiesen hat (Zwischenverfügung vom 24. September 2014), keine Verletzung von Art. 73 Abs. 2
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 73 - 1 Jeder Kanton bezeichnet ein Gericht, das als letzte kantonale Instanz über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten entscheidet. Dieses Gericht entscheidet auch über:
1    Jeder Kanton bezeichnet ein Gericht, das als letzte kantonale Instanz über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten entscheidet. Dieses Gericht entscheidet auch über:
a  Streitigkeiten mit Einrichtungen, welche der Erhaltung der Vorsorge im Sinne der Artikel 4 Absatz 1 und 26 Absatz 1 FZG305 dienen;
b  Streitigkeiten mit Einrichtungen, welche sich aus der Anwendung von Artikel 82 Absatz 2 ergeben;
c  Verantwortlichkeitsansprüche nach Artikel 52;
d  den Rückgriff nach Artikel 56a Absatz 1.306
2    Die Kantone sehen ein einfaches, rasches und in der Regel kostenloses Verfahren vor; der Richter stellt den Sachverhalt von Amtes wegen fest.
3    Gerichtsstand ist der schweizerische Sitz oder Wohnsitz des Beklagten oder der Ort des Betriebes, bei dem der Versicherte angestellt wurde.
4    ...307
BVG dar: Einerseits hat das Berufsvorsorgegericht die ebenfalls in Art. 73 Abs. 2
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 73 - 1 Jeder Kanton bezeichnet ein Gericht, das als letzte kantonale Instanz über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten entscheidet. Dieses Gericht entscheidet auch über:
1    Jeder Kanton bezeichnet ein Gericht, das als letzte kantonale Instanz über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten entscheidet. Dieses Gericht entscheidet auch über:
a  Streitigkeiten mit Einrichtungen, welche der Erhaltung der Vorsorge im Sinne der Artikel 4 Absatz 1 und 26 Absatz 1 FZG305 dienen;
b  Streitigkeiten mit Einrichtungen, welche sich aus der Anwendung von Artikel 82 Absatz 2 ergeben;
c  Verantwortlichkeitsansprüche nach Artikel 52;
d  den Rückgriff nach Artikel 56a Absatz 1.306
2    Die Kantone sehen ein einfaches, rasches und in der Regel kostenloses Verfahren vor; der Richter stellt den Sachverhalt von Amtes wegen fest.
3    Gerichtsstand ist der schweizerische Sitz oder Wohnsitz des Beklagten oder der Ort des Betriebes, bei dem der Versicherte angestellt wurde.
4    ...307
BVG statuierte Untersuchungsmaxime zu beachten. Anderseits kann nicht von einer (für die Beurteilung des Klagebegehrens) unnötigen Komplizierung des Verfahrens (vgl. MEYER/ UTTINGER, in: BVG und FZG, 2010, N. 93 zu Art. 73
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 73 - 1 Jeder Kanton bezeichnet ein Gericht, das als letzte kantonale Instanz über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten entscheidet. Dieses Gericht entscheidet auch über:
1    Jeder Kanton bezeichnet ein Gericht, das als letzte kantonale Instanz über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten entscheidet. Dieses Gericht entscheidet auch über:
a  Streitigkeiten mit Einrichtungen, welche der Erhaltung der Vorsorge im Sinne der Artikel 4 Absatz 1 und 26 Absatz 1 FZG305 dienen;
b  Streitigkeiten mit Einrichtungen, welche sich aus der Anwendung von Artikel 82 Absatz 2 ergeben;
c  Verantwortlichkeitsansprüche nach Artikel 52;
d  den Rückgriff nach Artikel 56a Absatz 1.306
2    Die Kantone sehen ein einfaches, rasches und in der Regel kostenloses Verfahren vor; der Richter stellt den Sachverhalt von Amtes wegen fest.
3    Gerichtsstand ist der schweizerische Sitz oder Wohnsitz des Beklagten oder der Ort des Betriebes, bei dem der Versicherte angestellt wurde.
4    ...307
BVG) oder gar von mutwilliger oder leichtsinniger Prozessführung (vgl. MEYER/UTTINGER, a.a.O., N. 89 f. zu Art. 73
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 73 - 1 Jeder Kanton bezeichnet ein Gericht, das als letzte kantonale Instanz über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten entscheidet. Dieses Gericht entscheidet auch über:
1    Jeder Kanton bezeichnet ein Gericht, das als letzte kantonale Instanz über Streitigkeiten zwischen Vorsorgeeinrichtungen, Arbeitgebern und Anspruchsberechtigten entscheidet. Dieses Gericht entscheidet auch über:
a  Streitigkeiten mit Einrichtungen, welche der Erhaltung der Vorsorge im Sinne der Artikel 4 Absatz 1 und 26 Absatz 1 FZG305 dienen;
b  Streitigkeiten mit Einrichtungen, welche sich aus der Anwendung von Artikel 82 Absatz 2 ergeben;
c  Verantwortlichkeitsansprüche nach Artikel 52;
d  den Rückgriff nach Artikel 56a Absatz 1.306
2    Die Kantone sehen ein einfaches, rasches und in der Regel kostenloses Verfahren vor; der Richter stellt den Sachverhalt von Amtes wegen fest.
3    Gerichtsstand ist der schweizerische Sitz oder Wohnsitz des Beklagten oder der Ort des Betriebes, bei dem der Versicherte angestellt wurde.
4    ...307
BVG) seitens der Vorsorgestiftung gesprochen werden. Zudem lässt sich aus dem Urteil 9C 367/2013 vom 10. Dezember 2013 E. 3.3 nicht ableiten, dass die hier interessierende Eingabe nur innerhalb einer Frist von 20 Tagen nach Erhalt der letzten Eingabe der Gegenpartei möglich und daher von vornherein unbeachtlich gewesen sein soll. Es ist folglich auch nicht willkürlich
(Art. 9
SR 101 Bundesverfassung der Schweizerischen Eidgenossenschaft vom 18. April 1999
BV Art. 9 Schutz vor Willkür und Wahrung von Treu und Glauben - Jede Person hat Anspruch darauf, von den staatlichen Organen ohne Willkür und nach Treu und Glauben behandelt zu werden.
BV), wenn die Vorinstanz dem Beschwerdeführer in diesem Zusammenhang keine Parteikostenentschädigung zugesprochen hat, weshalb der darauf gerichtete Subeventualantrag unbegründet ist.

3.

3.1. Versicherte, welche die Vorsorgeeinrichtung verlassen, bevor ein Vorsorgefall eintritt (Freizügigkeitsfall), haben Anspruch auf eine Austrittsleistung (Art. 2 Abs. 1
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 2 Austrittsleistung - 1 Versicherte, welche die Vorsorgeeinrichtung verlassen, bevor ein Vorsorgefall eintritt (Freizügigkeitsfall), haben Anspruch auf eine Austrittsleistung.
1    Versicherte, welche die Vorsorgeeinrichtung verlassen, bevor ein Vorsorgefall eintritt (Freizügigkeitsfall), haben Anspruch auf eine Austrittsleistung.
1ter    Ebenso haben Versicherte, deren Rente der Invalidenversicherung nach Verminderung des Invaliditätsgrades herabgesetzt oder aufgehoben wird, am Ende der provisorischen Weiterversicherung und Aufrechterhaltung des Leistungsanspruchs nach Artikel 26a Absätze 1 und 2 BVG Anspruch auf eine Austrittsleistung.8
2    Die Vorsorgeeinrichtung bestimmt in ihrem Reglement die Höhe der Austrittsleistung; diese muss mindestens so hoch sein wie die nach den Bestimmungen des 4. Abschnitts berechnete Austrittsleistung.
3    Die Austrittsleistung wird fällig mit dem Austritt aus der Vorsorgeeinrichtung. Ab diesem Zeitpunkt ist sie nach Artikel 15 Absatz 2 BVG zu verzinsen.9
4    Überweist die Vorsorgeeinrichtung die fällige Austrittsleistung nicht innert 30 Tagen, nachdem sie die notwendigen Angaben erhalten hat, so ist ab Ende dieser Frist ein Verzugszins nach Artikel 26 Absatz 2 zu bezahlen.10
FZG [SR 831.42]).
Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital (Art. 15 Abs. 1
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 15 Ansprüche im Beitragsprimat - 1 Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
1    Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
2    Das Sparguthaben ist die Summe aller im Hinblick auf Altersleistungen gutgeschriebenen Beiträge des Arbeitgebers oder der Arbeitgeberin und der versicherten Person sowie der sonstigen Einlagen; sämtliche Zinsen sind zu berücksichtigen.
3    Das Deckungskapital ist nach anerkannten Regeln der Versicherungsmathematik im Anwartschaftsdeckungsverfahren gemäss dem Grundsatz der Bilanzierung in geschlossener Kasse zu berechnen.
4    Beiträge für Sondermassnahmen und Solidaritätsleistungen sind zu berücksichtigen, wenn sie das persönliche Sparguthaben oder das Deckungskapital erhöht haben.
FZG).
Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen (Art. 16 Abs. 1
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG). Die erworbenen Leistungen werden wie folgt berechnet: versicherte Leistungen × anrechenbare Versicherungsdauer: mögliche Versicherungsdauer (Art. 16 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG). Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden (Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG).
Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr (Art. 17 Abs. 1
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG). Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen: a. Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen der ordentlichen Altersgrenze; b. Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen der ordentlichen Altersgrenze entstehen; c. Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen der ordentlichen Altersgrenze. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest; d. Beitrag für Verwaltungskosten; e. Beitrag für Kosten des Sicherheitsfonds; f.
Beitrag zur Behebung einer Unterdeckung (Art. 17 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG). Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten (Art. 17 Abs. 5
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG).

3.2. Das Reglement "Ruhegehaltsabkommen" der Vorsorgestiftung vom 14. August 2003 (nachfolgend: Reglement) sieht im Katalog der "Leistungen" u.a. ein Ruhegehalt vor (vgl. Art. 11 Reglement). Bei Pensionierungen von ruhegehaltsberechtigten Personen werden zusätzlich zum Ruhegehalt ab Alter 60 bis zum Zeitpunkt der reglementarischen Pensionierung die folgenden "Leistungen" ausgerichtet: Eine 100%ige maximale, einfache AHV-Rente; eine 100%ige PK-Ersatzrente (ungekürzt, gemäss Versicherungsausweis); die Arbeitnehmer- sowie die Arbeitgeberbeiträge bei der Pensionskasse (Art. 12 Reglement).

4.

4.1. Es steht fest, dass es sich bei der Vorsorgestiftung um eine arbeitgeberseits finanzierte (vgl. E. 6.4 hinten) Vorsorgeeinrichtung handelt, die Rechtsansprüche auf überobligatorische Leistungen gewährt. Sie ist unbestrittenermassen kein patronaler Wohlfahrtsfonds mit reinen Ermessensleistungen (vgl. SVR 2009 BVG Nr. 2 S. 4, 9C 193/2008 E. 3.2; BGE 138 V 346 E. 3.1.1 S. 349).
Das kantonale Gericht hat verbindlich (E. 1) festgestellt, für die Basisvorsorge sei nicht die Vorsorgestiftung, sondern die Pensionskasse der Gesellschaft C._________ (nachfolgend: Pensionskasse) zuständig. Die Vorsorgestiftung führe den - seit Oktober 2007 geschlossenen (vgl. Änderungen per 30. September 2007, Nachtrag Nr. 2 zum Reglement) - Vorsorgeplan "Ruhegehaltsabkommen" im Leistungsprimat und den Vorsorgeplan "Kadervorsorge" im Beitragsprimat. Mit der Austrittsabrechnung habe die Vorsorgestiftung für den Beschwerdeführer eine Austrittsleistung von Fr. 34'761.05 aus dem Beitragsprimatplan und von Fr. 44'910.65 in Bezug auf das Ruhegehalt (Art. 11 Reglement) aus dem Leistungsprimatplan, d.h. von insgesamt Fr. 79'671.70 ermittelt, was nicht umstritten sei. In der Folge hat es geprüft, ob resp. inwiefern aus dem Leistungsprimatplan ein weiterer Anspruch auf Austrittsleistungen im Zusammenhang mit temporären Leistungen gemäss Art. 12 Reglement resultiert.

4.2. Die Vorinstanz hat die "AHV-Rente" und die "PK-Ersatzrente" gemäss Art. 12
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 12 Vorsorgeschutz - 1 Mit dem Eintritt in die Vorsorgeeinrichtung sind die Versicherten zu den Leistungen versichert, die ihnen nach dem Reglement aufgrund der einzubringenden Eintrittsleistung zustehen.
1    Mit dem Eintritt in die Vorsorgeeinrichtung sind die Versicherten zu den Leistungen versichert, die ihnen nach dem Reglement aufgrund der einzubringenden Eintrittsleistung zustehen.
2    Haben sich Versicherte bei Eintritt in die Vorsorgeeinrichtung verpflichtet, einen Teil der Eintrittsleistung selber zu bezahlen, und haben sie diesen Teil bei Eintritt eines Vorsorgefalls nicht oder nur teilweise beglichen, so stehen ihnen die reglementarischen Leistungen gleichwohl zu. Der noch nicht bezahlte Teil kann jedoch samt Zinsen von den Leistungen abgezogen werden.
Reglement als "temporäre Leistungen gemäss Art. 17 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG" qualifiziert. Die Beiträge an die Basis-Pensionskasse seien zwar auch temporär, hätten aber insofern keinen Einfluss auf die gesamte Freizügigkeitsleistung, als es sich um Zahlungen an eine Vorsorgeeinrichtung handle; diese habe sie ihrerseits bei der Altersleistung zu berücksichtigen. Die Vorinstanz hat in der Folge die in Art. 12 Reglement ebenfalls genannten Beiträge an die Pensionskasse für die Berechnung der Austrittsleistung als nicht relevant betrachtet.
Hinsichtlich der "AHV-Rente" und der "PK-Ersatzrente" ist das kantonale Gericht der Auffassung, sie würden - anders als das Ruhegehalt nach Art. 11 Reglement - nicht nach dem Deckungskapital-, sondern nach dem Rentenumlageverfahren finanziert, weshalb sie bei der Barwertbestimmung nach Art. 16
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG weggelassen werden könnten. Folglich könne bei den temporären Leistungen auch kein Mindestbetrag nach Art. 17
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG ermittelt werden, denn bei Zusprechung der vom Arbeitgeber geleisteten Beiträge würde Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG seines Sinnes beraubt. Demgemäss hat es den Anspruch auf eine weitergehende Austrittsleistung verneint.

5.

5.1. Der Beschwerdeführer macht geltend, die in Art. 12 Reglement erwähnten Arbeitnehmer- und Arbeitgeberbeiträge an die Pensionskasse (d.h. für die Basisvorsorge) seien als versicherte (temporäre) Leistungen ebenfalls in die Berechnung der Austrittsleistung einzubeziehen. Das Weglassen der temporären Leistungen gemäss Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG sei nur erlaubt, wenn alle Tatbestandselemente von Art. 17 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG, mithin auch die formellen Voraussetzungen erfüllt seien. Es bedürfe daher einer reglementarischen Grundlage, welche hier fehle. Zudem könnten laut Art. 6 Abs. 4
SR 831.425 Verordnung vom 3. Oktober 1994 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsverordnung, FZV) - Freizügigkeitsverordnun
FZV Art. 6 Berechnung des Mindestbetrages - 1 Als Grundlage für die Berechnung des Mindestbetrages nach Artikel 17 FZG gelten die Beiträge und Eintrittsleistungen der Versicherten. Wurden während einer gewissen Zeit nur Risikobeiträge bezahlt, so fallen diese ausser Betracht.
1    Als Grundlage für die Berechnung des Mindestbetrages nach Artikel 17 FZG gelten die Beiträge und Eintrittsleistungen der Versicherten. Wurden während einer gewissen Zeit nur Risikobeiträge bezahlt, so fallen diese ausser Betracht.
2    Der Zinssatz nach Artikel 17 Absätze 1 und 4 FZG entspricht dem Mindestzinssatz nach dem Bundesgesetz vom 25. Juni 19828 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG). Während der Dauer einer Unterdeckung kann der Zinssatz, sofern das Reglement dies vorsieht, höchstens reduziert werden:
a  bei Spareinrichtungen: auf den Zinssatz, mit welchem die Sparguthaben verzinst werden;
b  bei versicherungsmässig geführten Beitragsprimatkassen und bei Vorsorgeeinrichtungen im Leistungsprimat: auf den um 0.5 Prozentpunkte reduzierten BVG-Mindestzinssatz.9
3    Teile von eingebrachten Eintrittsleistungen, welche für Aufwendungen nach Artikel 17 Absatz 2 Buchstaben a-c FZG verwendet wurden, müssen bei der Ermittlung der Mindestleistung nicht berücksichtigt werden.
4    Beiträge für die Finanzierung von AHV-Überbrückungsrenten können nach Artikel 17 Absatz 2 Buchstabe c FZG abgezogen werden, wenn diese Renten frühestens fünf Jahre vor Erreichen des Referenzalters nach Artikel 13 Absatz 1 BVG zu laufen beginnen. Bei hinreichender Begründung kann diese Frist höchstens zehn Jahre betragen.10
5    Der Zuschlag nach Artikel 17 Absatz 1 FZG beträgt im Alter 21 4 Prozent und erhöht sich jährlich um 4 Prozent.
FZV (SR 831.425) von vornherein nur AHV-Überbrückungsrenten, nicht aber die "PK-Ersatzrenten" und die Beiträge an die Pensionskasse bei der Barwertbestimmung weggelassen werden.

5.2.

5.2.1. Ausgangspunkt jeder Gesetzesauslegung bildet der Wortlaut der Bestimmung. Ist der Text nicht ganz klar und sind verschiedene Auslegungen möglich, so muss nach seiner wahren Tragweite gesucht werden unter Berücksichtigung aller Auslegungselemente, namentlich von Sinn und Zweck sowie der dem Text zugrunde liegenden Wertung. Wichtig ist ebenfalls der Sinn, der einer Norm im Kontext zukommt. Vom klaren, d.h. eindeutigen und unmissverständlichen Wortlaut darf nur ausnahmsweise abgewichen werden, u.a. dann nämlich, wenn triftige Gründe dafür vorliegen, dass der Wortlaut nicht den wahren Sinn der Bestimmung wiedergibt. Solche Gründe können sich aus der Entstehungsgeschichte der Bestimmung, aus ihrem Grund und Zweck oder aus dem Zusammenhang mit andern Vorschriften ergeben (BGE 139 V 66 E. 2.2 S. 68; 138 V 86 E. 5.1 S. 94 mit Hinweisen).

5.2.2. Reglemente privater Vorsorgeeinrichtungen sind, wo sich in Bezug auf die zur Streitigkeit Anlass gebenden Vorschriften kein übereinstimmender wirklicher Parteiwille feststellen lässt, nach dem Vertrauensprinzip auszulegen. Danach sind Willenserklärungen so zu deuten, wie sie vom Empfänger in guten Treuen verstanden werden durften und mussten. Es ist nicht auf den inneren Willen des Erklärenden abzustellen, sondern auf den objektiven Sinn seines Erklärungsverhaltens. Der Erklärende hat gegen sich gelten zu lassen, was ein vernünftiger und korrekter Mensch unter der Erklärung verstehen durfte (BGE 134 V 369 E. 6.2 S. 375). Ausgehend vom Wortlaut (zu dessen Bedeutung BGE 129 III 702 E. 2.4.1 S. 707) und unter Berücksichtigung des Zusammenhanges, in dem die streitige Bestimmung innerhalb des Reglements als Ganzes steht, ist der objektive Vertragswille zu ermitteln, den die Parteien mutmasslich gehabt haben. Dabei ist zu berücksichtigen, was sachgerecht ist, weil nicht angenommen werden kann, dass sie eine unvernünftige Lösung gewollt haben. Unklare, mehrdeutige oder ungewöhnliche Wendungen sind im Zweifel zu Lasten ihres Verfassers auszulegen (BGE 140 V 50 E. 2.2 S. 51 mit Hinweisen; vgl. auch BGE 138 III 659 E. 4.2.1 S. 666
f.).

5.3.

5.3.1. Art. 16 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
und 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
Satz 1 FZG gehen nach dem klaren Wortlaut von den versicherten Leistungen aus. Auch die französische bzw. italienische Version sprechen von "prestations assurées" bzw. "prestazioni assicurate". Diese umfassen sämtliche reglementarischen Leistungen, welche die Vorsorgeeinrichtung anbietet. Als solche versicherte Leistungen gelten nicht nur die Altersleistungen, sondern auch die Hinterlassenenleistungen und die Invalidenleistungen (Botschaft zu einem Bundesgesetz über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge, BBl 1992 533, S. 589 [Ziff. 634.2]). Mit anderen Worten handelt es sich bei den versicherten Leistungen um Vorsorgeleistungen. Davon ist ihre Finanzierung zu unterscheiden. Sie beeinflusst "nur" die Höhe der Vorsorgeleistung. Selber ist sie nicht eine solche. In der zitierten Botschaft wird denn auch ausdrücklich darauf hingewiesen, dass die versicherten Leistungen zwar alle Vorsorgeleistungen umfassen würden, aber nicht für jeden Vorsorgenehmer gleich hoch seien; Vorsorgenehmer mit Beitragslücken oder fehlenden Einkäufen hätten nicht den gleichen Anspruch auf versicherte Leistungen (BBl a.a.O.).
Aus Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
Satz 3 FZG, wo bezüglich der temporären Leistungen auf Art. 17 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG verwiesen wird ("prestations temporaires au sens de l'art. 17, al. 2"; "prestazioni temporanee giusta l'articolo 17
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
capoverso 2"), ergibt sich nichts anderes. Auch Art. 17 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG nennt als Leistungen ausschliesslich Vorsorgeleistungen (Invalidenleistungen [lit. a], Hinterlassenenleistungen [lit. b], Überbrückungsrenten [lit. c]). Die Beiträge zu deren Finanzierung wie auch die weiteren Beiträge zur Deckung von Kosten (lit. d-f) bilden ausdrücklich Elemente der Berechnung des Mindestbetrags nach Art. 17
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG (vgl. dazu E. 7 hinten). Für die Höhe der Austrittsleistung nach Art. 16
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG, die hier in erster Linie streitig ist, spielen sie in Anbetracht von Wortlaut, Materialien und Systematik keine Rolle. Somit ist in diesem Zusammenhang auch bedeutungslos, ob die Höhe der entsprechenden Beiträge im Reglement festgelegt und der Bedarf ausgewiesen ist.

5.3.2. In Art. 12 Reglement wird wohl ebenfalls von "Leistungen" gesprochen, die ausgerichtet werden. Indes sind diese zu differenzieren. Im Reglement wird der Begriff der Leistung primär im Sinne von Vorsorgeleistungen verwendet (vgl. Art. 4, 7 und 8 Reglement). In Bezug auf den vorliegenden Vorsorgeplan werden sie unter dem gleichnamigen Titel in Art. 11-16 Reglement aufgeführt. Der in Art. 12 Reglement verwendete Begriff der Leistung hat sowohl Vorsorgeleistungen der Vorsorgestiftung ("AHV-Rente" und "PK-Ersatzrente") wie auch die Finanzierung von Vorsorgeleistungen der Pensionskasse zum Inhalt; dass mit den fraglichen Beitragszahlungen weiterhin das Altersguthaben in der "Basisvorsorge" geäufnet werden soll, ist unbestritten. Abgesehen davon, dass, wie in E. 5.3.1 dargelegt, Beiträge von Gesetzes wegen nicht als versicherte Leistungen gelten, lässt auch das Reglement für sich keine gegenteilige Interpretation zu. Wie die Beschwerdegegnerin zu Recht vorbringt, stellt die Finanzierung der Arbeitnehmer- und Arbeitgeberbeiträge bei der Pensionskasse eine Zahlung zwischen zwei Vorsorgeeinrichtungen dar. Die finanzielle Stellung des Versicherten bleibt davon unberührt. Er bekommt - seitens der Vorsorgestiftung - weder mehr noch
weniger ausbezahlt. Erst die Ausrichtung der Altersleistungen seitens der Pensionskasse - infolge der Beiträge der Beschwerdegegnerin einfach erhöht - wirkt sich in leistungsmässiger Hinsicht auf die Vorsorgesituation des Versicherten aus. Die Begleichung der Arbeitnehmer- sowie der Arbeitgeberbeiträge bei der Pensionskasse kann deshalb sowohl im Gesamtzusammenhang als auch von der Sache her nicht als weiteres (eigenes) Vorsorgeangebot der Beschwerdegegnerin verstanden werden. Sie dient ausschliesslich der Sicherstellung einer ungekürzten Altersrente in der "Basisvorsorge". Der Begriff "Leistungen" in Art. 12 Reglement statuiert in diesem Punkt offensichtlich keine (auszuzahlende) Vorsorgeleistung, sondern eine reine (Ein-) Zahlungsverpflichtung der Beschwerdegegnerin an eine andere Vorsorgeeinrichtung.

5.4.

5.4.1. Als nächstes ist zu prüfen, ob die temporären (versicherten) Leistungen gemäss Art. 12 Reglement ("AHV-Rente" sowie "PK-Ersatzrente") mit dem in Art. 17 Abs. 2 lit. c
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG verwendeten Begriff der "Überbrückungsrenten" gleichzusetzen sind.

5.4.2. Aus Art. 6 Abs. 4
SR 831.425 Verordnung vom 3. Oktober 1994 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsverordnung, FZV) - Freizügigkeitsverordnun
FZV Art. 6 Berechnung des Mindestbetrages - 1 Als Grundlage für die Berechnung des Mindestbetrages nach Artikel 17 FZG gelten die Beiträge und Eintrittsleistungen der Versicherten. Wurden während einer gewissen Zeit nur Risikobeiträge bezahlt, so fallen diese ausser Betracht.
1    Als Grundlage für die Berechnung des Mindestbetrages nach Artikel 17 FZG gelten die Beiträge und Eintrittsleistungen der Versicherten. Wurden während einer gewissen Zeit nur Risikobeiträge bezahlt, so fallen diese ausser Betracht.
2    Der Zinssatz nach Artikel 17 Absätze 1 und 4 FZG entspricht dem Mindestzinssatz nach dem Bundesgesetz vom 25. Juni 19828 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG). Während der Dauer einer Unterdeckung kann der Zinssatz, sofern das Reglement dies vorsieht, höchstens reduziert werden:
a  bei Spareinrichtungen: auf den Zinssatz, mit welchem die Sparguthaben verzinst werden;
b  bei versicherungsmässig geführten Beitragsprimatkassen und bei Vorsorgeeinrichtungen im Leistungsprimat: auf den um 0.5 Prozentpunkte reduzierten BVG-Mindestzinssatz.9
3    Teile von eingebrachten Eintrittsleistungen, welche für Aufwendungen nach Artikel 17 Absatz 2 Buchstaben a-c FZG verwendet wurden, müssen bei der Ermittlung der Mindestleistung nicht berücksichtigt werden.
4    Beiträge für die Finanzierung von AHV-Überbrückungsrenten können nach Artikel 17 Absatz 2 Buchstabe c FZG abgezogen werden, wenn diese Renten frühestens fünf Jahre vor Erreichen des Referenzalters nach Artikel 13 Absatz 1 BVG zu laufen beginnen. Bei hinreichender Begründung kann diese Frist höchstens zehn Jahre betragen.10
5    Der Zuschlag nach Artikel 17 Absatz 1 FZG beträgt im Alter 21 4 Prozent und erhöht sich jährlich um 4 Prozent.
FZV, wo von "AHV-Überbrückungsrenten" ("rentes transitoires de l'AVS" resp. "rendite transitorie AVS") gesprochen wird, lässt sich nichts ableiten: Einerseits hat Verordnungsrecht den Willen des Gesetzgebers zu respektieren (vgl. BGE 139 V 358 E. 3.1 S. 361, 537 E. 5.1 S. 545). Anderseits definiert die Verordnungsbestimmung den Begriff der Überbrückungsrenten lediglich unter einem zeitlichen Aspekt (frühest möglicher Laufbeginn), der in concreto nicht zur Diskussion steht. Vielmehr ist im hier interessierenden Zusammenhang der Bestimmung von Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
Satz 3 FZG Rechnung zu tragen, in dessen Kontext der in Art. 17 Abs. 2 lit. c
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG verwendete Begriff "Überbrückungsrenten" auszulegen ist. Bei solcher Betrachtung (vgl. E. 5.2.1) ergibt sich klar, dass Leistungen, die im Zusammenhang mit einer Pensionierung vor der ordentlichen Altersgrenze während einer beschränkten Zeit erbracht werden, bei der Barwertbestimmung weggelassen werden können (unter dem Vorbehalt, dass sie nicht im Kapitaldeckungsverfahren finanziert werden, vgl. dazu E. 6 hinten). Das trifft nicht nur auf die "AHV-Rente", sondern auch auf die "PK-Ersatzrente" gemäss Art. 12 Reglement zu: Ein sachlicher Grund für eine Differenzierung ist
nicht ersichtlich und wird auch nicht geltend gemacht.

5.5. Als Zwischenresultat ist somit festzuhalten, dass die Arbeitnehmer- sowie Arbeitgeberbeiträge, die gemäss Art. 12 Reglement während einer beschränkten Zeit an die Pensionskasse ausgerichtet werden, keine versicherten Leistungen im Sinne von Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG sind und daher von vornherein bei der Barwertbestimmung weggelassen werden können. Demgegenüber handelt es sich bei der "AHV-Rente" sowie der "PK-Ersatzrente" nach Art. 12
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 12 Vorsorgeschutz - 1 Mit dem Eintritt in die Vorsorgeeinrichtung sind die Versicherten zu den Leistungen versichert, die ihnen nach dem Reglement aufgrund der einzubringenden Eintrittsleistung zustehen.
1    Mit dem Eintritt in die Vorsorgeeinrichtung sind die Versicherten zu den Leistungen versichert, die ihnen nach dem Reglement aufgrund der einzubringenden Eintrittsleistung zustehen.
2    Haben sich Versicherte bei Eintritt in die Vorsorgeeinrichtung verpflichtet, einen Teil der Eintrittsleistung selber zu bezahlen, und haben sie diesen Teil bei Eintritt eines Vorsorgefalls nicht oder nur teilweise beglichen, so stehen ihnen die reglementarischen Leistungen gleichwohl zu. Der noch nicht bezahlte Teil kann jedoch samt Zinsen von den Leistungen abgezogen werden.
Reglement um temporäre (versicherte) Leistungen gemäss Art. 17 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG.

6.

6.1.

6.1.1. Der Beschwerdeführer bringt weiter vor, die temporären Leistungen gemäss Art. 12
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 12 Vorsorgeschutz - 1 Mit dem Eintritt in die Vorsorgeeinrichtung sind die Versicherten zu den Leistungen versichert, die ihnen nach dem Reglement aufgrund der einzubringenden Eintrittsleistung zustehen.
1    Mit dem Eintritt in die Vorsorgeeinrichtung sind die Versicherten zu den Leistungen versichert, die ihnen nach dem Reglement aufgrund der einzubringenden Eintrittsleistung zustehen.
2    Haben sich Versicherte bei Eintritt in die Vorsorgeeinrichtung verpflichtet, einen Teil der Eintrittsleistung selber zu bezahlen, und haben sie diesen Teil bei Eintritt eines Vorsorgefalls nicht oder nur teilweise beglichen, so stehen ihnen die reglementarischen Leistungen gleichwohl zu. Der noch nicht bezahlte Teil kann jedoch samt Zinsen von den Leistungen abgezogen werden.
Reglement würden im Deckungskapitalverfahren finanziert, weshalb sie nach Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
Satz 3 FZG bei der Barwertbestimmung nicht weggelassen werden dürften.

6.1.2. Die Frage, nach welchem Verfahren bestimmte Leistungen finanziert werden, resp. die Auslegung des in Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
Satz 3 FZG verwendeten Begriffs des Deckungskapitalverfahrens beschlägt eine frei überprüfbare Rechtsfrage. Hingegen betreffen die konkreten Umstände, die Rückschlüsse auf das Finanzierungssystem erlauben, den Sachverhalt und damit eine Tatfrage (vgl. E. 1).

6.2. Die Finanzierung von Leistungen der Alters-, Hinterlassenen- und Invalidenvorsorge kann im Kapital- resp. Anwartschaftsdeckungsverfahren, im (reinen) Umlage- resp. Ausgabenumlageverfahren oder aber im Rentenwertumlageverfahren erfolgen (CARL HELBLING; Personalvorsorge und BVG, 8. Aufl. 2006, S. 403; JÜRG BRECHBÜHL, in: BVG und FZG, 2010, N. 23 ff. zu Art. 65
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 65 Grundsatz - 1 Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
1    Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
2    Sie regeln das Beitragssystem und die Finanzierung so, dass die Leistungen im Rahmen dieses Gesetzes bei Fälligkeit erbracht werden können. Dabei dürfen sie nur den vorhandenen Bestand an Versicherten sowie Rentnerinnen und Rentnern berücksichtigen (Grundsatz der Bilanzierung in geschlossener Kasse). Vorbehalten bleiben die Artikel 72a-72g.276
2bis    Sämtliche Verpflichtungen einer Vorsorgeeinrichtung müssen durch Vorsorgevermögen gedeckt sein (Grundsatz der Vollkapitalisierung). Vorbehalten bleiben Artikel 65c sowie die Artikel 72a-72g.277
3    Sie weisen ihre Verwaltungskosten in der Betriebsrechnung aus. Der Bundesrat erlässt Bestimmungen über die Verwaltungskosten und die Art und Weise, wie sie ausgewiesen werden müssen.278
4    Der Bundesrat legt ein Anfangsvermögen und Garantieleistungen fest für Neugründungen von Sammel- und Gemeinschaftsstiftungen, welche dem FZG279 unterstellt sind, unabhängig von ihrer Rechts- oder Verwaltungsform. Nicht unter diese Bestimmung fallen Verbandseinrichtungen sowie Vorsorgeeinrichtungen mit mehreren wirtschaftlich oder finanziell eng miteinander verbundenen Arbeitgebern.280
BVG; STEFAN KELLER, Der flexible Altersrücktritt im Bauhauptgewerbe, 2008, S. 439 f. und 443; vgl. auch HANS-ULRICH STAUFFER, Berufliche Vorsorge, 2. Aufl. 2012, S. 125 ff. Rz. 368 ff.).
Der Begriff "Kapitaldeckungsverfahren" wird vom Gesetzgeber in Art. 32k Abs. 2
SR 172.220.1 Bundespersonalgesetz vom 24. März 2000 (BPG)
BPG Art. 32k Überbrückungsrenten - 1 Die Ausführungsbestimmungen können eine Überbrückungsrente vorsehen für Fälle, in denen der Altersrücktritt vor dem Rentenalter nach Artikel 21 AHVG101 erfolgt. Die Überbrückungsrente wird grundsätzlich durch die Angestellten finanziert. Die Arbeitgeber können sich im Einzelfall mit höchstens 50 Prozent an der Finanzierung der Überbrückungsrente beteiligen.
1    Die Ausführungsbestimmungen können eine Überbrückungsrente vorsehen für Fälle, in denen der Altersrücktritt vor dem Rentenalter nach Artikel 21 AHVG101 erfolgt. Die Überbrückungsrente wird grundsätzlich durch die Angestellten finanziert. Die Arbeitgeber können sich im Einzelfall mit höchstens 50 Prozent an der Finanzierung der Überbrückungsrente beteiligen.
2    Die Beteiligung des Arbeitgebers an der Finanzierung der Überbrückungsrente kann bei besonderen Personalkategorien oder aus sozialen Gründen mehr als 50 Prozent betragen.
des Bundespersonalgesetzes vom 24. März 2000 (BPG; SR 172.220.1) und in Art. 72a Abs. 1 lit. d
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 72a System der Teilkapitalisierung - 1 Vorsorgeeinrichtungen öffentlich-rechtlicher Körperschaften, die bei Inkrafttreten der Änderung vom 17. Dezember 2010 die Anforderungen der Vollkapitalisierung nicht erfüllen und für die eine Staatsgarantie nach Artikel 72c besteht, können mit Zustimmung der Aufsichtsbehörde vom Grundsatz der Vollkapitalisierung abweichen (System der Teilkapitalisierung), sofern ein Finanzierungsplan vorliegt, der ihr finanzielles Gleichgewicht langfristig sicherstellt. Der Finanzierungsplan muss insbesondere gewährleisten, dass:
1    Vorsorgeeinrichtungen öffentlich-rechtlicher Körperschaften, die bei Inkrafttreten der Änderung vom 17. Dezember 2010 die Anforderungen der Vollkapitalisierung nicht erfüllen und für die eine Staatsgarantie nach Artikel 72c besteht, können mit Zustimmung der Aufsichtsbehörde vom Grundsatz der Vollkapitalisierung abweichen (System der Teilkapitalisierung), sofern ein Finanzierungsplan vorliegt, der ihr finanzielles Gleichgewicht langfristig sicherstellt. Der Finanzierungsplan muss insbesondere gewährleisten, dass:
a  die Verpflichtungen gegenüber den Rentnerinnen und Rentnern vollumfänglich gedeckt sind;
b  die Ausgangsdeckungsgrade sowohl für sämtliche Verpflichtungen der Vorsorgeeinrichtung wie auch für deren Verpflichtungen gegenüber den aktiven Versicherten bis zum Übergang zum System der Vollkapitalisierung nicht unterschritten werden;
c  ein Deckungsgrad aller Verpflichtungen gegenüber Rentnerinnen und Rentnern sowie aktiven Versicherten von mindestens 80 Prozent besteht;
d  künftige Leistungserhöhungen entsprechend dem Kapitaldeckungsverfahren zu 100 Prozent ausfinanziert werden.
2    Die Aufsichtsbehörde prüft den Finanzierungsplan und genehmigt die Weiterführung der Vorsorgeeinrichtung nach dem System der Teilkapitalisierung. Sie sorgt dafür, dass der Finanzierungsplan die Einhaltung der bestehenden Deckungsgrade vorsieht.
3    Die Vorsorgeeinrichtungen können im Hinblick auf eine absehbare Strukturveränderung im Versichertenbestand eine Umlageschwankungsreserve vorsehen.
4    Der Bundesrat erlässt Vorschriften zur Berechnung der freien Mittel. Er kann bestimmen, dass bei einer Teilliquidation kein anteilsmässiger Anspruch auf die Umlageschwankungsreserve besteht.
BVG verwendet, während die entsprechenden Ausdrücke in der französischen Version "système de capitalisation" resp. "la capitalisation" und in der italienischen Version "procedura di copertura del capitale" resp. "capitalizzazione" lauten. In Art. 15 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 15 Ansprüche im Beitragsprimat - 1 Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
1    Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
2    Das Sparguthaben ist die Summe aller im Hinblick auf Altersleistungen gutgeschriebenen Beiträge des Arbeitgebers oder der Arbeitgeberin und der versicherten Person sowie der sonstigen Einlagen; sämtliche Zinsen sind zu berücksichtigen.
3    Das Deckungskapital ist nach anerkannten Regeln der Versicherungsmathematik im Anwartschaftsdeckungsverfahren gemäss dem Grundsatz der Bilanzierung in geschlossener Kasse zu berechnen.
4    Beiträge für Sondermassnahmen und Solidaritätsleistungen sind zu berücksichtigen, wenn sie das persönliche Sparguthaben oder das Deckungskapital erhöht haben.
FZG wird vom "Anwartschaftsdeckungsverfahren" ("méthode de capitalisation"; "metodo di capitalizzazione") und in Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG vom "Deckungskapitalverfahren" ("système de capitalisation"; "sistema di capitalizzazione") gesprochen. Eine gesetzliche Umschreibung für einen dieser Termini oder für die in Art. 90
SR 832.20 Bundesgesetz vom 20. März 1981 über die Unfallversicherung (UVG)
UVG Art. 90 Finanzierung der kurzfristigen Leistungen und der Renten - 1 Die Versicherer wenden zur Finanzierung der Taggelder, der Kosten für die Heilbehandlung, der übrigen kurzfristigen Versicherungsleistungen und der Invaliden- und Hinterlassenenrenten das Bedarfsdeckungsverfahren an.198
1    Die Versicherer wenden zur Finanzierung der Taggelder, der Kosten für die Heilbehandlung, der übrigen kurzfristigen Versicherungsleistungen und der Invaliden- und Hinterlassenenrenten das Bedarfsdeckungsverfahren an.198
2    Sie wenden das Kapitaldeckungsverfahren zur Finanzierung der Invaliden- und Hinterlassenenrenten und der Hilflosenentschädigungen an, sobald diese festgesetzt sind. Das Deckungskapital muss für die Deckung aller Rentenansprüche ohne Teuerungszulagen ausreichen.
3    Die Versicherer bilden Rückstellungen zur Finanzierung des infolge einer Änderung der vom Bundesrat genehmigten Rechnungsgrundlagen erforderlichen zusätzlichen Rentendeckungskapitals. Zum Ausgleich von Schwankungen der Betriebsergebnisse sind Reserven zu bestellen. Der Bundesrat erlässt Richtlinien.
4    Bei Grossereignissen wird zur Finanzierung des Schadenaufwands, der die Schwelle für ein Grossereignis nach Artikel 78 übersteigt, bei der Ersatzkasse ein Ausgleichsfonds errichtet. Der Ausgleichsfonds wird vom Folgejahr an über einen Prämienzuschlag pro Versicherungszweig geäufnet. Der Prämienzuschlag wird von der Ersatzkasse so festgelegt, dass sämtliche laufenden Kosten der Schäden gedeckt werden können. Er wird von den Versicherern nach Artikel 68 erhoben und von der Ersatzkasse verwaltet. Die Ersatzkasse vergütet den einzelnen Versicherern die Aufwendungen, welche die Schwelle übersteigen. Der Bundesrat regelt die Einzelheiten.
UVG verwendeten Ausdrücke "Ausgabenumlageverfahren" ("système de répartition des dépenses"; "sistema di ripartizione delle spese") und "Rentenwertumlageverfahren" ("système de répartition des capitaux de couverture"; "sistema di ripartizione dei capitali di copertura") existiert nicht. Zumindest erhellt aus den verschiedenen Sprachversionen, dass sich die Bestimmung von Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG auf das Finanzierungssystem bezieht, das üblicherweise (und im Folgenden) als "Kapitaldeckungsverfahren"
bezeichnet wird.

6.3.

6.3.1. Das Kapitaldeckungsverfahren zeichnet sich im Wesentlichen dadurch aus, dass die laufenden und die künftigen (anwartschaftlichen) Renten jederzeit durch ein angespartes Vorsorgekapital gedeckt (BGE 130 II 258 E. 3.2.1 S. 264; 128 II 24 E. 3a S. 27) resp. durch ein planmässig aufgebautes Deckungskapital sichergestellt sind (HELBLING, a.a.O., S. 403, 407 f.; BRECHBÜHL, a.a.O., N. 24 zu Art. 65
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 65 Grundsatz - 1 Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
1    Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
2    Sie regeln das Beitragssystem und die Finanzierung so, dass die Leistungen im Rahmen dieses Gesetzes bei Fälligkeit erbracht werden können. Dabei dürfen sie nur den vorhandenen Bestand an Versicherten sowie Rentnerinnen und Rentnern berücksichtigen (Grundsatz der Bilanzierung in geschlossener Kasse). Vorbehalten bleiben die Artikel 72a-72g.276
2bis    Sämtliche Verpflichtungen einer Vorsorgeeinrichtung müssen durch Vorsorgevermögen gedeckt sein (Grundsatz der Vollkapitalisierung). Vorbehalten bleiben Artikel 65c sowie die Artikel 72a-72g.277
3    Sie weisen ihre Verwaltungskosten in der Betriebsrechnung aus. Der Bundesrat erlässt Bestimmungen über die Verwaltungskosten und die Art und Weise, wie sie ausgewiesen werden müssen.278
4    Der Bundesrat legt ein Anfangsvermögen und Garantieleistungen fest für Neugründungen von Sammel- und Gemeinschaftsstiftungen, welche dem FZG279 unterstellt sind, unabhängig von ihrer Rechts- oder Verwaltungsform. Nicht unter diese Bestimmung fallen Verbandseinrichtungen sowie Vorsorgeeinrichtungen mit mehreren wirtschaftlich oder finanziell eng miteinander verbundenen Arbeitgebern.280
BVG; STAUFFER, a.a.O., S. 126 Rz. 369; KELLER, a.a.O., S. 439 f.).
Beim Ausgabenumlageverfahren werden die in einer bestimmten Periode zu erbringenden Leistungen an die Rentner durch die in der gleichen Periode erhobenen Beiträge der Aktiven finanziert; es wird kein Deckungskapital gebildet, allenfalls besteht ein Reserve- oder Schwankungsfonds (HELBLING, a.a.O., S. 409; BRECHBÜHL, a.a.O., N. 26 zu Art. 65
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 65 Grundsatz - 1 Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
1    Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
2    Sie regeln das Beitragssystem und die Finanzierung so, dass die Leistungen im Rahmen dieses Gesetzes bei Fälligkeit erbracht werden können. Dabei dürfen sie nur den vorhandenen Bestand an Versicherten sowie Rentnerinnen und Rentnern berücksichtigen (Grundsatz der Bilanzierung in geschlossener Kasse). Vorbehalten bleiben die Artikel 72a-72g.276
2bis    Sämtliche Verpflichtungen einer Vorsorgeeinrichtung müssen durch Vorsorgevermögen gedeckt sein (Grundsatz der Vollkapitalisierung). Vorbehalten bleiben Artikel 65c sowie die Artikel 72a-72g.277
3    Sie weisen ihre Verwaltungskosten in der Betriebsrechnung aus. Der Bundesrat erlässt Bestimmungen über die Verwaltungskosten und die Art und Weise, wie sie ausgewiesen werden müssen.278
4    Der Bundesrat legt ein Anfangsvermögen und Garantieleistungen fest für Neugründungen von Sammel- und Gemeinschaftsstiftungen, welche dem FZG279 unterstellt sind, unabhängig von ihrer Rechts- oder Verwaltungsform. Nicht unter diese Bestimmung fallen Verbandseinrichtungen sowie Vorsorgeeinrichtungen mit mehreren wirtschaftlich oder finanziell eng miteinander verbundenen Arbeitgebern.280
BVG; STAUFFER, a.a.O., S. 126 Rz. 370 f.; KELLER, a.a.O., S. 440). Das System erfordert eine Perennität des Versichertenbestandes resp. der auf die Versicherten entfallenden Beiträge in dem Sinne, dass grundsätzlich die Abgänge dauernd durch Neuzugänge wettgemacht werden müssen (HELBLING, a.a.O., S. 411; KELLER, a.a.O., S. 442).
Das Rentenwertumlageverfahren stellt insofern eine Kombination der beiden vorgenannten Verfahren dar, als die jährliche Finanzierung so festgelegt wird, dass damit das Deckungskapital für die in der entsprechenden Periode entstehenden Vorsorgefälle bereitgestellt werden kann; es erfolgt keine planmässige Vorfinanzierung des Deckungskapitals, dieses wird erst bei Eintritt des Vorsorgefalls gebildet. Bei Vorsorgeplänen, die aus einer Spareinrichtung mit Risikoversicherung (für die Vorsorgefälle Invalidität und Tod vor der Pensionierung) bestehen, werden die Hinterlassenen- und Invaliditätsleistungen nach dem Rentenwertumlageverfahren finanziert (HELBLING, a.a.O., S. 410; BRECHBÜHL, a.a.O., N. 25 zu Art. 65
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 65 Grundsatz - 1 Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
1    Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
2    Sie regeln das Beitragssystem und die Finanzierung so, dass die Leistungen im Rahmen dieses Gesetzes bei Fälligkeit erbracht werden können. Dabei dürfen sie nur den vorhandenen Bestand an Versicherten sowie Rentnerinnen und Rentnern berücksichtigen (Grundsatz der Bilanzierung in geschlossener Kasse). Vorbehalten bleiben die Artikel 72a-72g.276
2bis    Sämtliche Verpflichtungen einer Vorsorgeeinrichtung müssen durch Vorsorgevermögen gedeckt sein (Grundsatz der Vollkapitalisierung). Vorbehalten bleiben Artikel 65c sowie die Artikel 72a-72g.277
3    Sie weisen ihre Verwaltungskosten in der Betriebsrechnung aus. Der Bundesrat erlässt Bestimmungen über die Verwaltungskosten und die Art und Weise, wie sie ausgewiesen werden müssen.278
4    Der Bundesrat legt ein Anfangsvermögen und Garantieleistungen fest für Neugründungen von Sammel- und Gemeinschaftsstiftungen, welche dem FZG279 unterstellt sind, unabhängig von ihrer Rechts- oder Verwaltungsform. Nicht unter diese Bestimmung fallen Verbandseinrichtungen sowie Vorsorgeeinrichtungen mit mehreren wirtschaftlich oder finanziell eng miteinander verbundenen Arbeitgebern.280
BVG; KELLER, a.a.O., S. 443).

6.3.2. Massgeblich für die Qualifizierung des Finanzierungssystems ist nach dem Gesagten nicht allein der zeitliche Aspekt, d.h. zu welchem Zeitpunkt die Kosten für die Leistungen einer Vorsorgeeinrichtung bezahlt werden (HELBLING, a.a.O., S. 403). Ebenso entscheidend ist, ob die fraglichen Beiträge zu einer planmässigen Äufnung von Deckungskapital führen.

6.4. Einzig Art. 17 Reglement enthält Bestimmungen über die Finanzierung der Stiftung resp. der Leistungen: Die ruhegehaltsberechtigten Personen haben keinen Beitrag zu entrichten (Art. 17.1 Reglement). Die gesamten Kosten der Personalvorsorge werden vom Arbeitgeber und/oder der Stiftung (sofern freie Stiftungsmittel vorhanden sind) getragen. Er erbringt seine Zuwendungen aus eigenen Mitteln, aus einer Finanzierungsstiftung oder aus einer für diesen Zweck gebildeten Arbeitgeberbeitragsreserve (Art. 17.2 Reglement). Für Mitglieder einer sich neu anschliessenden Unternehmung trägt ausschliesslich diese die gesamten Kosten (Art. 17.3 Reglement). Zum Finanzierungsverfahren gibt es keine reglementarische Vorschrift. Für die Beantwortung der Frage, ob die temporären Leistungen nach dem Kapitaldeckungsverfahren finanziert werden, ist somit auf die tatsächlichen Gegebenheiten resp. auf die Praxis der Vorsorgestiftung abzustellen.

6.5.

6.5.1. Die Vorinstanz hat unter Verweis auf buchhalterische Unterlagen festgestellt, die Vorsorgestiftung äufne für die Finanzierung der temporären Leistungen pauschale technische Rückstellungen. Bis zur vorzeitigen Pensionierung erfolge keine individualisierte Gutschrift für die Versicherten. Das Deckungskapital werde erst in diesem Zeitpunkt gebildet, und zwar durch teilweise Auflösung der Risikoreserve, die dann nicht mehr zur Abdeckung des Risikos von Invalidität oder Tod während der aktiven Phase gebraucht werde. Es werde klar zwischen den Freizügigkeitsleistungen (resp. dem Vorsorgekapital) der Aktiven und den Rückstellungen unterschieden. Im Zusammenhang mit dem Anschluss der neu gegründeten Gesellschaft sei 2010 eine Ausfinanzierung der temporären Leistungen erfolgt; diese Mittel seien indessen nicht individualisiert gutgeschrieben, sondern in den allgemeinen Mitteln der Stiftung geführt worden. Bei Verzicht auf den vorzeitigen Altersrücktritt werde die entsprechende Summe unverzinst der Arbeitgeber (beitrags) reserve des neuen Arbeitgebers gutgeschrieben.
Diese Feststellungen sind nicht offensichtlich unrichtig und beruhen auch nicht auf einer Rechtsverletzung. Sie bleiben daher für das Bundesgericht verbindlich (E. 1).

6.5.2. Dass die Rechnungslegung der Vorsorgestiftung eine Bilanzierungsvorschrift oder eine andere rechtliche Vorgabe über die Buchführung verletzt, ist nicht ersichtlich und wird auch nicht geltend gemacht. Insbesondere wird nicht in Zweifel gezogen, dass die Beschwerdegegnerin - im Bereich des Reglements "Ruhegehaltsabkommen" eine vollautonome Vorsorgeeinrichtung, welche die Risiken Tod und Invalidität selber trägt - aufgrund ihres aktiven Versichertenbestandes zur Bildung ausreichender technischer Rückstellungen als Rückdeckung verpflichtet ist (vgl. Art. 43 Abs. 1 lit. b
SR 831.441.1 Verordnung vom 18. April 1984 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVV 2)
BVV-2 Art. 43 Rückdeckung - (Art. 67 BVG)
1    Eine Vorsorgeeinrichtung, welche die Risiken selbst tragen will, muss über eine Rückdeckung verfügen, wenn:
a  der Experte für berufliche Vorsorge dies als notwendig erachtet, oder
b  ihr weniger als hundert aktive Versicherte angehören, bei Vorsorgeeinrichtungen, die nach dem 31. Dezember 2005 errichtet worden sind, wenn ihr weniger als dreihundert aktive Versicherte angehören.
2    Über Art und Ausmass der Rückdeckung entscheidet das nach den reglementarischen Bestimmungen zuständige Organ; es holt vorher ein Gutachten des Experten ein.
3    Die Garantie eines privatrechtlichen Arbeitgebers gilt nicht als Rückdeckung.
4    Besteht die Rückdeckung in einer zusätzlichen Reserve, so ist diese gesondert auszuweisen.
der Verordnung vom 18. April 1984 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge [BVV 2; SR 831.441.1] i.V.m. Art. 65 Abs. 1
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 65 Grundsatz - 1 Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
1    Die Vorsorgeeinrichtungen müssen jederzeit Sicherheit dafür bieten, dass sie die übernommenen Verpflichtungen erfüllen können.
2    Sie regeln das Beitragssystem und die Finanzierung so, dass die Leistungen im Rahmen dieses Gesetzes bei Fälligkeit erbracht werden können. Dabei dürfen sie nur den vorhandenen Bestand an Versicherten sowie Rentnerinnen und Rentnern berücksichtigen (Grundsatz der Bilanzierung in geschlossener Kasse). Vorbehalten bleiben die Artikel 72a-72g.276
2bis    Sämtliche Verpflichtungen einer Vorsorgeeinrichtung müssen durch Vorsorgevermögen gedeckt sein (Grundsatz der Vollkapitalisierung). Vorbehalten bleiben Artikel 65c sowie die Artikel 72a-72g.277
3    Sie weisen ihre Verwaltungskosten in der Betriebsrechnung aus. Der Bundesrat erlässt Bestimmungen über die Verwaltungskosten und die Art und Weise, wie sie ausgewiesen werden müssen.278
4    Der Bundesrat legt ein Anfangsvermögen und Garantieleistungen fest für Neugründungen von Sammel- und Gemeinschaftsstiftungen, welche dem FZG279 unterstellt sind, unabhängig von ihrer Rechts- oder Verwaltungsform. Nicht unter diese Bestimmung fallen Verbandseinrichtungen sowie Vorsorgeeinrichtungen mit mehreren wirtschaftlich oder finanziell eng miteinander verbundenen Arbeitgebern.280
und Art. 67
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 67 Deckung der Risiken - 1 Die Vorsorgeeinrichtungen entscheiden, ob sie die Deckung der Risiken selbst übernehmen oder sie ganz oder teilweise einer der Versicherungsaufsicht unterstellten Versicherungseinrichtung oder, unter den vom Bundesrat festgesetzten Bedingungen, einer öffentlich-rechtlichen Versicherungseinrichtung übertragen.
1    Die Vorsorgeeinrichtungen entscheiden, ob sie die Deckung der Risiken selbst übernehmen oder sie ganz oder teilweise einer der Versicherungsaufsicht unterstellten Versicherungseinrichtung oder, unter den vom Bundesrat festgesetzten Bedingungen, einer öffentlich-rechtlichen Versicherungseinrichtung übertragen.
2    Sie können die Deckung der Risiken selbst übernehmen, wenn sie die vom Bundesrat festgesetzten Voraussetzungen erfüllen.
BVG sowie Art. 89a Abs. 6 Ziff. 14
SR 210 Schweizerisches Zivilgesetzbuch vom 10. Dezember 1907
ZGB Art. 89a - 1 Für Personalfürsorgeeinrichtungen, die gemäss Artikel 331 des Obligationenrechts135 in Form der Stiftung errichtet worden sind, gelten überdies noch folgende Bestimmungen.136
1    Für Personalfürsorgeeinrichtungen, die gemäss Artikel 331 des Obligationenrechts135 in Form der Stiftung errichtet worden sind, gelten überdies noch folgende Bestimmungen.136
2    Die Stiftungsorgane haben den Begünstigten über die Organisation, die Tätigkeit und die Vermögenslage der Stiftung den erforderlichen Aufschluss zu erteilen.
3    Leisten die Arbeitnehmer Beiträge an die Stiftung, so sind sie an der Verwaltung wenigstens nach Massgabe dieser Beiträge zu beteiligen; soweit möglich haben die Arbeitnehmer ihre Vertretung aus dem Personal des Arbeitgebers zu wählen.137
4    ...138
5    Die Begünstigten können auf Ausrichtung von Leistungen der Stiftung klagen, wenn sie Beiträge an diese entrichtet haben oder wenn ihnen nach den Stiftungsbestimmungen ein Rechtsanspruch auf Leistungen zusteht.
6    Für Personalfürsorgestiftungen, die auf dem Gebiet der Alters-, Hinterlassenen- und Invalidenvorsorge tätig sind und die dem Freizügigkeitsgesetz vom 17. Dezember 1993139 (FZG) unterstellt sind, gelten überdies die folgenden Bestimmungen des Bundesgesetzes vom 25. Juni 1982140 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG) über:141
1  die Definition und Grundsätze der beruflichen Vorsorge sowie des versicherbaren Lohnes oder des versicherbaren Einkommens (Art. 1, 33a und 33b);
10  die Auflösung von Verträgen (Art. 53e-53f);
11  den Sicherheitsfonds (Art. 56 Abs. 1 Bst. c und i und Abs. 2-5, 56a, 57 und 59);
12  die Aufsicht und die Oberaufsicht (Art. 61-62a und 64-64c);
13  ...
14  die finanzielle Sicherheit (Art. 65 Abs. 1, 3 und 4, Art. 66 Abs. 4, Art. 67 und Art. 72a-72g);
15  die Transparenz (Art. 65a);
16  die Rückstellungen und die Wertschwankungsreserven (Art. 65b);
17  die Versicherungsverträge zwischen Vorsorgeeinrichtungen und Versicherungseinrichtungen (Art. 68 Abs. 3 und 4);
18  die Vermögensverwaltung (Art. 71) und die Stimmpflicht als Aktionärin (Art. 71a und 71b);
19  die Rechtspflege (Art. 73 und 74);
2  die Unterstellung der Personen unter die AHV (Art. 5 Abs. 1);
2a  den Bezug der Altersleistung (Art. 13 Abs. 2, Art. 13a und 13b),
20  die Strafbestimmungen (Art. 75-79);
21  den Einkauf (Art. 79b);
22  den versicherbaren Lohn und das versicherbare Einkommen (Art. 79c);
23  die Information der Versicherten (Art. 86b).160
3  die Begünstigten bei Hinterlassenenleistungen (Art. 20a);
3a  die Anpassung der Invalidenrente nach dem Vorsorgeausgleich (Art. 24 Abs. 5);
3b  die provisorische Weiterversicherung und Aufrechterhaltung des Leistungsanspruchs bei Herabsetzung oder Aufhebung der Rente der Invalidenversicherung (Art. 26a);
4  die Anpassung der reglementarischen Leistungen an die Preisentwicklung (Art. 36 Abs. 2-4);
4a  die Zustimmung bei Kapitalabfindung (Art. 37a);
4b  die Massnahmen bei Vernachlässigung der Unterhaltspflicht (Art. 40);
5  die Verjährung von Ansprüchen und die Aufbewahrung von Vorsorgeunterlagen (Art. 41);
5a  die Verwendung, Bearbeitung und Bekanntgabe der AHV-Nummer (Art. 48 Abs. 4, Art. 85a Bst. f und Art. 86a Abs. 2 Bst. bbis);
6  die Verantwortlichkeit (Art. 52);
7  die Zulassung und die Aufgaben der Kontrollorgane (Art. 52a-52e);
8  die Integrität und Loyalität der Verantwortlichen, die Rechtsgeschäfte mit Nahestehenden und die Interessenkonflikte (Art. 51b, 51c und 53a);
9  die Teil- oder Gesamtliquidation (Art. 53b-53d);
7    Für Personalfürsorgestiftungen, die auf dem Gebiet der Alters-, Hinterlassenen- und Invalidenvorsorge tätig sind, aber nicht dem FZG unterstellt sind, wie sogenannte patronale Wohlfahrtsfonds mit Ermessensleistungen sowie Finanzierungsstiftungen, gelten von den Bestimmungen des BVG nur die folgenden:
1  die Unterstellung der Personen unter die AHV (Art. 5 Abs. 1);
10  die steuerliche Behandlung (Art. 80, 81 Abs. 1 und 83).161
2  die Verwendung, Bearbeitung und Bekanntgabe der AHV-Nummer (Art. 48 Abs. 4, 85a Bst. f und 86a Abs. 2 Bst. bbis);
3  die Verantwortlichkeit (Art. 52);
4  die Zulassung und die Aufgaben der Revisionsstelle (Art. 52a, 52b und 52c Abs. 1 Bst. a-d und g, 2 und 3);
5  die Integrität und Loyalität der Verantwortlichen, die Rechtsgeschäfte mit Nahestehenden und die Interessenkonflikte (Art. 51b, 51c und 53a);
6  die Gesamtliquidation (Art. 53c);
7  die Aufsicht und die Oberaufsicht (Art. 61-62a und 64-64b);
8  die Rechtspflege (Art. 73 und 74);
9  die Strafbestimmungen (Art. 75-79);
8    Für Personalfürsorgestiftungen nach Absatz 7 gelten zudem die folgenden Bestimmungen:
1  Sie verwalten ihr Vermögen so, dass Sicherheit, genügender Ertrag auf den Anlagen und die für ihre Aufgaben benötigten flüssigen Mittel gewährleistet sind.
2  Über Teilliquidationssachverhalte von patronalen Wohlfahrtsfonds mit Ermessensleistungen verfügt die Aufsichtsbehörde auf Antrag des Stiftungsrats.
3  Sie beachten die Grundsätze der Gleichbehandlung und der Angemessenheit sinngemäss.162
ZGB). Damit wird der Häufung von Invaliditäts- und Todesfällen (bei Aktiven) und den damit verbundenen höheren Finanzierungsrisiken Rechnung getragen, die insbesondere bei kleineren Versichertenkollektiven entstehen können (vgl. Mitteilungen des BSV über die berufliche Vorsorge Nr. 83, Erläuterungen zu den Änderungen in der BVV 2 S. 20 [Art. 43 Abs. 1 Bst. b]). In diesem Sinn dienen die entsprechenden Rückstellungen der Risikoabdeckung für "Ausserplanmässiges" und
ermöglichen eine Improvisation in letzter Minute (vgl. Fachrichtlinie FRP 2, Vorsorgekapitalien und technische Rückstellungen, Ziff. 5.2). Folgerichtig können sie nicht als planmässig geäufnet betrachtet werden. Eine Differenzierung zwischen dem - planmässig aufgebauten - Deckungskapital und den - notwendigen - technischen Rückstellungen ist denn auch gemäss den Fachempfehlungen zur Rechnungslegung Swiss GAAP FER 26 (vgl. Treuhand-Kammer, Schweizer Handbuch der Wirtschaftsprüfung [HWP], Bd. 4, 2009, S. 182 und 184 oben) geboten (vgl. Art. 47 Abs. 2
SR 831.441.1 Verordnung vom 18. April 1984 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVV 2)
BVV-2 Art. 47 Ordnungsmässigkeit - (Art. 65a Abs. 5 und 71 Abs. 1 BVG)147
1    Vorsorgeeinrichtungen sowie andere Einrichtungen, die nach ihrem Zweck der beruflichen Vorsorge dienen, wie Freizügigkeitseinrichtungen, Einrichtungen für anerkannte Vorsorgeformen nach Artikel 82 BVG, Anlagestiftungen, Auffangeinrichtung und Sicherheitsfonds, sind für die Erstellung der Jahresrechnung verantwortlich. Die Jahresrechnung besteht aus der Bilanz, der Betriebsrechnung und dem Anhang. Sie enthält die Vorjahreszahlen.148
2    Die Vorsorgeeinrichtungen haben die Jahresrechnung nach den Fachempfehlungen zur Rechnungslegung Swiss GAAP FER 26149 in der Fassung vom 1. Januar 2014 aufzustellen und zu gliedern. Auf andere Einrichtungen, die nach ihrem Zweck der beruflichen Vorsorge dienen, finden die Fachempfehlungen sinngemäss Anwendung.150
3    Der Anhang enthält ergänzende Angaben und Erläuterungen zur Vermögensanlage, zur Finanzierung und zu einzelnen Positionen der Bilanz und der Betriebsrechnung. Auf Ereignisse nach dem Bilanzstichtag ist einzugehen, wenn diese die Beurteilung der Lage der Vorsorgeeinrichtung erheblich beeinflussen.
4    Im Übrigen gelten die Artikel 957a, 958 Absatz 3, 958c Absätze 1 und 2 sowie 958f des Obligationenrechts151 über die kaufmännische Buchführung.152
BVV 2 i.V.m. Art. 65a Abs. 5
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 65a Transparenz - 1 Die Vorsorgeeinrichtungen haben bei der Regelung des Beitragssystems, der Finanzierung, der Kapitalanlagen und bei der Rechnungslegung den Grundsatz der Transparenz zu beachten.
1    Die Vorsorgeeinrichtungen haben bei der Regelung des Beitragssystems, der Finanzierung, der Kapitalanlagen und bei der Rechnungslegung den Grundsatz der Transparenz zu beachten.
2    Mit der Transparenz soll sichergestellt werden, dass:
a  die tatsächliche finanzielle Lage der Vorsorgeeinrichtung ersichtlich wird;
b  die Sicherheit der Erfüllung der Vorsorgezwecke belegt werden kann;
c  das paritätische Organ der Vorsorgeeinrichtung seine Führungsaufgabe wahrnehmen kann;
d  die Informationspflichten gegenüber den Versicherten erfüllt werden können.
3    Die Vorsorgeeinrichtungen müssen in der Lage sein, Informationen über den Kapitalertrag, den versicherungstechnischen Risikoverlauf, die Verwaltungskosten, die Deckungskapitalberechnung, die Reservebildung, den Deckungsgrad und die Grundsätze zur Ausübung der Stimmpflicht als Aktionärin (Art. 71a) abgeben zu können.282
4    Der Bundesrat erlässt Bestimmungen über die Art und Weise, wie diese Informationen unter Beachtung der Verhältnismässigkeit des Aufwandes bis auf Stufe der Vorsorgewerke ausgewiesen werden müssen.
5    Der Bundesrat erlässt Bestimmungen über die Art und Weise, wie die Transparenz gewährleistet werden muss. Er erlässt dafür Rechnungslegungsvorschriften und legt die Anforderungen an die Kosten- und Ertragstransparenz fest.
BVG und Art. 89a Abs. 6 Ziff. 15
SR 210 Schweizerisches Zivilgesetzbuch vom 10. Dezember 1907
ZGB Art. 89a - 1 Für Personalfürsorgeeinrichtungen, die gemäss Artikel 331 des Obligationenrechts135 in Form der Stiftung errichtet worden sind, gelten überdies noch folgende Bestimmungen.136
1    Für Personalfürsorgeeinrichtungen, die gemäss Artikel 331 des Obligationenrechts135 in Form der Stiftung errichtet worden sind, gelten überdies noch folgende Bestimmungen.136
2    Die Stiftungsorgane haben den Begünstigten über die Organisation, die Tätigkeit und die Vermögenslage der Stiftung den erforderlichen Aufschluss zu erteilen.
3    Leisten die Arbeitnehmer Beiträge an die Stiftung, so sind sie an der Verwaltung wenigstens nach Massgabe dieser Beiträge zu beteiligen; soweit möglich haben die Arbeitnehmer ihre Vertretung aus dem Personal des Arbeitgebers zu wählen.137
4    ...138
5    Die Begünstigten können auf Ausrichtung von Leistungen der Stiftung klagen, wenn sie Beiträge an diese entrichtet haben oder wenn ihnen nach den Stiftungsbestimmungen ein Rechtsanspruch auf Leistungen zusteht.
6    Für Personalfürsorgestiftungen, die auf dem Gebiet der Alters-, Hinterlassenen- und Invalidenvorsorge tätig sind und die dem Freizügigkeitsgesetz vom 17. Dezember 1993139 (FZG) unterstellt sind, gelten überdies die folgenden Bestimmungen des Bundesgesetzes vom 25. Juni 1982140 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG) über:141
1  die Definition und Grundsätze der beruflichen Vorsorge sowie des versicherbaren Lohnes oder des versicherbaren Einkommens (Art. 1, 33a und 33b);
10  die Auflösung von Verträgen (Art. 53e-53f);
11  den Sicherheitsfonds (Art. 56 Abs. 1 Bst. c und i und Abs. 2-5, 56a, 57 und 59);
12  die Aufsicht und die Oberaufsicht (Art. 61-62a und 64-64c);
13  ...
14  die finanzielle Sicherheit (Art. 65 Abs. 1, 3 und 4, Art. 66 Abs. 4, Art. 67 und Art. 72a-72g);
15  die Transparenz (Art. 65a);
16  die Rückstellungen und die Wertschwankungsreserven (Art. 65b);
17  die Versicherungsverträge zwischen Vorsorgeeinrichtungen und Versicherungseinrichtungen (Art. 68 Abs. 3 und 4);
18  die Vermögensverwaltung (Art. 71) und die Stimmpflicht als Aktionärin (Art. 71a und 71b);
19  die Rechtspflege (Art. 73 und 74);
2  die Unterstellung der Personen unter die AHV (Art. 5 Abs. 1);
2a  den Bezug der Altersleistung (Art. 13 Abs. 2, Art. 13a und 13b),
20  die Strafbestimmungen (Art. 75-79);
21  den Einkauf (Art. 79b);
22  den versicherbaren Lohn und das versicherbare Einkommen (Art. 79c);
23  die Information der Versicherten (Art. 86b).160
3  die Begünstigten bei Hinterlassenenleistungen (Art. 20a);
3a  die Anpassung der Invalidenrente nach dem Vorsorgeausgleich (Art. 24 Abs. 5);
3b  die provisorische Weiterversicherung und Aufrechterhaltung des Leistungsanspruchs bei Herabsetzung oder Aufhebung der Rente der Invalidenversicherung (Art. 26a);
4  die Anpassung der reglementarischen Leistungen an die Preisentwicklung (Art. 36 Abs. 2-4);
4a  die Zustimmung bei Kapitalabfindung (Art. 37a);
4b  die Massnahmen bei Vernachlässigung der Unterhaltspflicht (Art. 40);
5  die Verjährung von Ansprüchen und die Aufbewahrung von Vorsorgeunterlagen (Art. 41);
5a  die Verwendung, Bearbeitung und Bekanntgabe der AHV-Nummer (Art. 48 Abs. 4, Art. 85a Bst. f und Art. 86a Abs. 2 Bst. bbis);
6  die Verantwortlichkeit (Art. 52);
7  die Zulassung und die Aufgaben der Kontrollorgane (Art. 52a-52e);
8  die Integrität und Loyalität der Verantwortlichen, die Rechtsgeschäfte mit Nahestehenden und die Interessenkonflikte (Art. 51b, 51c und 53a);
9  die Teil- oder Gesamtliquidation (Art. 53b-53d);
7    Für Personalfürsorgestiftungen, die auf dem Gebiet der Alters-, Hinterlassenen- und Invalidenvorsorge tätig sind, aber nicht dem FZG unterstellt sind, wie sogenannte patronale Wohlfahrtsfonds mit Ermessensleistungen sowie Finanzierungsstiftungen, gelten von den Bestimmungen des BVG nur die folgenden:
1  die Unterstellung der Personen unter die AHV (Art. 5 Abs. 1);
10  die steuerliche Behandlung (Art. 80, 81 Abs. 1 und 83).161
2  die Verwendung, Bearbeitung und Bekanntgabe der AHV-Nummer (Art. 48 Abs. 4, 85a Bst. f und 86a Abs. 2 Bst. bbis);
3  die Verantwortlichkeit (Art. 52);
4  die Zulassung und die Aufgaben der Revisionsstelle (Art. 52a, 52b und 52c Abs. 1 Bst. a-d und g, 2 und 3);
5  die Integrität und Loyalität der Verantwortlichen, die Rechtsgeschäfte mit Nahestehenden und die Interessenkonflikte (Art. 51b, 51c und 53a);
6  die Gesamtliquidation (Art. 53c);
7  die Aufsicht und die Oberaufsicht (Art. 61-62a und 64-64b);
8  die Rechtspflege (Art. 73 und 74);
9  die Strafbestimmungen (Art. 75-79);
8    Für Personalfürsorgestiftungen nach Absatz 7 gelten zudem die folgenden Bestimmungen:
1  Sie verwalten ihr Vermögen so, dass Sicherheit, genügender Ertrag auf den Anlagen und die für ihre Aufgaben benötigten flüssigen Mittel gewährleistet sind.
2  Über Teilliquidationssachverhalte von patronalen Wohlfahrtsfonds mit Ermessensleistungen verfügt die Aufsichtsbehörde auf Antrag des Stiftungsrats.
3  Sie beachten die Grundsätze der Gleichbehandlung und der Angemessenheit sinngemäss.162
ZGB).

6.5.3. Anders als die freien Mittel und die Wertschwankungsreserven (vgl. SVR 2015 BVG Nr. 25 S. 95, 9C 24/2014 E. 5.3.4) dürfen technische Rückstellungen nicht zur Glättung der Bilanz aufgelöst werden. Nicht mehr benötigte Rückstellungen sind indessen aufzulösen (vgl. HWP, a.a.O., S. 184 oben). Das trifft in Bezug auf Rückstellungen für die Invalidität oder den Tod eines aktiv Versicherten dann zu, wenn sich ein solches Risiko, sei es infolge einer Frühpensionierung oder eines Austritts aus der Vorsorgestiftung, nicht mehr verwirklichen kann. Dabei werden die aufzulösenden Rückstellungen grundsätzlich - und auch in concreto (vgl. E. 6.5.1) - den freien Mitteln zugewiesen (vgl. BGE 140 V 121 E. 5.4 S. 129), die reglementskonform (auch) für die Finanzierung der Kosten gemäss Art. 12 Reglement verwendet werden dürfen (vgl. E. 6.4). Dadurch mutieren die (aufgelösten) Rückstellungen nicht rückwirkend, d.h. ab ihrer (unplanmässigen) Bildung, zu planmässig geäufnetem Deckungskapital. Vielmehr wird die Finanzierung der Frühpensionierung - da lediglich ein Können und nicht ein (automatisches) Müssen - bis zum Eintritt des Vorsorgefalles aufgeschoben. Damit steht fest, dass die temporären (versicherten) Leistungen gemäss Art. 12
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 12 Vorsorgeschutz - 1 Mit dem Eintritt in die Vorsorgeeinrichtung sind die Versicherten zu den Leistungen versichert, die ihnen nach dem Reglement aufgrund der einzubringenden Eintrittsleistung zustehen.
1    Mit dem Eintritt in die Vorsorgeeinrichtung sind die Versicherten zu den Leistungen versichert, die ihnen nach dem Reglement aufgrund der einzubringenden Eintrittsleistung zustehen.
2    Haben sich Versicherte bei Eintritt in die Vorsorgeeinrichtung verpflichtet, einen Teil der Eintrittsleistung selber zu bezahlen, und haben sie diesen Teil bei Eintritt eines Vorsorgefalls nicht oder nur teilweise beglichen, so stehen ihnen die reglementarischen Leistungen gleichwohl zu. Der noch nicht bezahlte Teil kann jedoch samt Zinsen von den Leistungen abgezogen werden.
Reglement
nicht im Kapitaldeckungsverfahren finanziert werden und bei der Barwertberechnung gemäss Art. 16
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG weggelassen werden können.

6.5.4. Zu keinem anderen Ergebnis führt der Umstand, dass laut Anschlussvertrag mit der neu gegründeten Arbeitgeberin vom 18. August 2010 die temporären Leistungen durch die Zahlung einer Einkaufssumme vollständig ausfinanziert wurden, weil die Vorsorgestiftung nur vier Fünftel der Überbrückungsrente zurückgestellt hatte.
Die Ausfinanzierung ist Bedingung der "Weiterversicherung" im Zuge des Firmenübertritts im Juni 2010 (vgl. Sachverhalt lit. A). So trägt ausschliesslich die sich neu anschliessende Unternehmung die gesamten Kosten für die ruhegehaltsberechtigten Personen (E. 6.4). In Anbetracht der Neuerungen, die auf Ende September resp. Anfang Oktober 2007 in der Vorsorgestiftung erfolgten, war das Maximum dieser Kosten bereits im Zeitpunkt des Neuanschlusses absehbar: Ab 1. Oktober 2007 wurden keine Versicherten mehr in den Vorsorgeplan "Ruhegehaltsabkommen" aufgenommen (E. 4.1); neue Versicherte konnten sich nur noch dem neu eingeführten Vorsorgeplan "Kadervorsorge" anschliessen, der nurmehr teilautonom geführt wird, d.h. die Risiken Tod und Invalidität der diesbezüglichen aktiven Versicherten sind bei einer Versicherungsgesellschaft rückversichert (Jahresrechnungen 2007/2008 sowie 2010/2011, je S. 10 oben). Die Einkaufssumme diente somit der Abdeckung des Finanzbedarfs, falls sämtliche übergetretenen und ruhegehaltsberechtigten Aktivversicherte den vorzeitigen Altersrücktritt antreten. Sie wird in den freien Mitteln geführt (E. 6.5.2). Ein Wechsel des Finanzierungskonzepts hat demnach nicht stattgefunden. Es fehlt weiterhin an der
erforderlichen Planmässigkeit. Die Einkaufssumme ist, vom Blickwinkel der Vorsorgestiftung aus gesehen, Manövriermasse für den "worst case", dass sich sämtliche (verbleibenden) Aktivversicherte frühzeitig pensionieren lassen, und verhindert von vornherein eine allfällige (Rest-) Finanzierung mit (freien) Mitteln, zu deren Äufnung das neue Unternehmen nichts beigetragen hat (vgl. E. 6.4 und E. 6.5.3). Es geht nicht an, die erst nach dem Firmenübertritt aus der Vorsorgestiftung ausgetretenen Versicherten - im Vergleich zu den früher ausgetretenen - einzig aufgrund der erfolgten Ausfinanzierung besserzustellen (Art. 1 Abs. 3
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 1 Zweck - 1 Berufliche Vorsorge umfasst alle Massnahmen auf kollektiver Basis, die den älteren Menschen, den Hinterbliebenen und Invaliden beim Eintreten eines Versicherungsfalles (Alter, Tod oder Invalidität) zusammen mit den Leistungen der eidgenössischen Alters-, Hinterlassenen- und Invalidenversicherung (AHV/IV) die Fortsetzung der gewohnten Lebenshaltung in angemessener Weise erlauben.
1    Berufliche Vorsorge umfasst alle Massnahmen auf kollektiver Basis, die den älteren Menschen, den Hinterbliebenen und Invaliden beim Eintreten eines Versicherungsfalles (Alter, Tod oder Invalidität) zusammen mit den Leistungen der eidgenössischen Alters-, Hinterlassenen- und Invalidenversicherung (AHV/IV) die Fortsetzung der gewohnten Lebenshaltung in angemessener Weise erlauben.
2    Der in der beruflichen Vorsorge versicherbare Lohn oder das versicherbare Einkommen der Selbstständigerwerbenden darf das AHV-beitragspflichtige Einkommen nicht übersteigen.
3    Der Bundesrat präzisiert die Grundsätze der Angemessenheit, der Kollektivität, der Gleichbehandlung, der Planmässigkeit sowie des Versicherungsprinzips. Er kann ein Mindestalter für den vorzeitigen Altersrücktritt festlegen.
BVG i.V.m. Art. 1f
SR 831.441.1 Verordnung vom 18. April 1984 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVV 2)
BVV-2 Art. 1f - Der Grundsatz der Gleichbehandlung ist eingehalten, wenn für alle Versicherten eines Kollektivs die gleichen reglementarischen Bedingungen im Vorsorgeplan gelten.
BVV 2 und Art. 89a Abs. 6 Ziff. 1
SR 210 Schweizerisches Zivilgesetzbuch vom 10. Dezember 1907
ZGB Art. 89a - 1 Für Personalfürsorgeeinrichtungen, die gemäss Artikel 331 des Obligationenrechts135 in Form der Stiftung errichtet worden sind, gelten überdies noch folgende Bestimmungen.136
1    Für Personalfürsorgeeinrichtungen, die gemäss Artikel 331 des Obligationenrechts135 in Form der Stiftung errichtet worden sind, gelten überdies noch folgende Bestimmungen.136
2    Die Stiftungsorgane haben den Begünstigten über die Organisation, die Tätigkeit und die Vermögenslage der Stiftung den erforderlichen Aufschluss zu erteilen.
3    Leisten die Arbeitnehmer Beiträge an die Stiftung, so sind sie an der Verwaltung wenigstens nach Massgabe dieser Beiträge zu beteiligen; soweit möglich haben die Arbeitnehmer ihre Vertretung aus dem Personal des Arbeitgebers zu wählen.137
4    ...138
5    Die Begünstigten können auf Ausrichtung von Leistungen der Stiftung klagen, wenn sie Beiträge an diese entrichtet haben oder wenn ihnen nach den Stiftungsbestimmungen ein Rechtsanspruch auf Leistungen zusteht.
6    Für Personalfürsorgestiftungen, die auf dem Gebiet der Alters-, Hinterlassenen- und Invalidenvorsorge tätig sind und die dem Freizügigkeitsgesetz vom 17. Dezember 1993139 (FZG) unterstellt sind, gelten überdies die folgenden Bestimmungen des Bundesgesetzes vom 25. Juni 1982140 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG) über:141
1  die Definition und Grundsätze der beruflichen Vorsorge sowie des versicherbaren Lohnes oder des versicherbaren Einkommens (Art. 1, 33a und 33b);
10  die Auflösung von Verträgen (Art. 53e-53f);
11  den Sicherheitsfonds (Art. 56 Abs. 1 Bst. c und i und Abs. 2-5, 56a, 57 und 59);
12  die Aufsicht und die Oberaufsicht (Art. 61-62a und 64-64c);
13  ...
14  die finanzielle Sicherheit (Art. 65 Abs. 1, 3 und 4, Art. 66 Abs. 4, Art. 67 und Art. 72a-72g);
15  die Transparenz (Art. 65a);
16  die Rückstellungen und die Wertschwankungsreserven (Art. 65b);
17  die Versicherungsverträge zwischen Vorsorgeeinrichtungen und Versicherungseinrichtungen (Art. 68 Abs. 3 und 4);
18  die Vermögensverwaltung (Art. 71) und die Stimmpflicht als Aktionärin (Art. 71a und 71b);
19  die Rechtspflege (Art. 73 und 74);
2  die Unterstellung der Personen unter die AHV (Art. 5 Abs. 1);
2a  den Bezug der Altersleistung (Art. 13 Abs. 2, Art. 13a und 13b),
20  die Strafbestimmungen (Art. 75-79);
21  den Einkauf (Art. 79b);
22  den versicherbaren Lohn und das versicherbare Einkommen (Art. 79c);
23  die Information der Versicherten (Art. 86b).160
3  die Begünstigten bei Hinterlassenenleistungen (Art. 20a);
3a  die Anpassung der Invalidenrente nach dem Vorsorgeausgleich (Art. 24 Abs. 5);
3b  die provisorische Weiterversicherung und Aufrechterhaltung des Leistungsanspruchs bei Herabsetzung oder Aufhebung der Rente der Invalidenversicherung (Art. 26a);
4  die Anpassung der reglementarischen Leistungen an die Preisentwicklung (Art. 36 Abs. 2-4);
4a  die Zustimmung bei Kapitalabfindung (Art. 37a);
4b  die Massnahmen bei Vernachlässigung der Unterhaltspflicht (Art. 40);
5  die Verjährung von Ansprüchen und die Aufbewahrung von Vorsorgeunterlagen (Art. 41);
5a  die Verwendung, Bearbeitung und Bekanntgabe der AHV-Nummer (Art. 48 Abs. 4, Art. 85a Bst. f und Art. 86a Abs. 2 Bst. bbis);
6  die Verantwortlichkeit (Art. 52);
7  die Zulassung und die Aufgaben der Kontrollorgane (Art. 52a-52e);
8  die Integrität und Loyalität der Verantwortlichen, die Rechtsgeschäfte mit Nahestehenden und die Interessenkonflikte (Art. 51b, 51c und 53a);
9  die Teil- oder Gesamtliquidation (Art. 53b-53d);
7    Für Personalfürsorgestiftungen, die auf dem Gebiet der Alters-, Hinterlassenen- und Invalidenvorsorge tätig sind, aber nicht dem FZG unterstellt sind, wie sogenannte patronale Wohlfahrtsfonds mit Ermessensleistungen sowie Finanzierungsstiftungen, gelten von den Bestimmungen des BVG nur die folgenden:
1  die Unterstellung der Personen unter die AHV (Art. 5 Abs. 1);
10  die steuerliche Behandlung (Art. 80, 81 Abs. 1 und 83).161
2  die Verwendung, Bearbeitung und Bekanntgabe der AHV-Nummer (Art. 48 Abs. 4, 85a Bst. f und 86a Abs. 2 Bst. bbis);
3  die Verantwortlichkeit (Art. 52);
4  die Zulassung und die Aufgaben der Revisionsstelle (Art. 52a, 52b und 52c Abs. 1 Bst. a-d und g, 2 und 3);
5  die Integrität und Loyalität der Verantwortlichen, die Rechtsgeschäfte mit Nahestehenden und die Interessenkonflikte (Art. 51b, 51c und 53a);
6  die Gesamtliquidation (Art. 53c);
7  die Aufsicht und die Oberaufsicht (Art. 61-62a und 64-64b);
8  die Rechtspflege (Art. 73 und 74);
9  die Strafbestimmungen (Art. 75-79);
8    Für Personalfürsorgestiftungen nach Absatz 7 gelten zudem die folgenden Bestimmungen:
1  Sie verwalten ihr Vermögen so, dass Sicherheit, genügender Ertrag auf den Anlagen und die für ihre Aufgaben benötigten flüssigen Mittel gewährleistet sind.
2  Über Teilliquidationssachverhalte von patronalen Wohlfahrtsfonds mit Ermessensleistungen verfügt die Aufsichtsbehörde auf Antrag des Stiftungsrats.
3  Sie beachten die Grundsätze der Gleichbehandlung und der Angemessenheit sinngemäss.162
ZGB).

6.6. Zusammenfassend steht fest, dass die "AHV-Rente" wie auch die "PK-Ersatzrente", die gemäss Art. 12 Reglement bei einer Pensionierung ab Alter 60 zusätzlich zum Ruhegehalt bis zum Zeitpunkt der reglementarischen Pensionierung ausgerichtet werden, wohl temporäre (versicherte) Leistungen gemäss Art. 17 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG darstellen (E. 5.5), indessen nicht nach dem Kapitaldeckungsverfahren finanziert werden und daher bei der Barwertbestimmung der Austrittsleistung keine Berücksichtigung finden.

7.

7.1. Für die Begründung seines Eventualantrages beruft sich der Beschwerdeführer auf Art. 17 Abs. 1
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
und 5
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG (vgl. E. 3.1). Er macht geltend, der Arbeitgeber habe für die temporären Leistungen Beiträge von Fr. 87'114.- geleistet, wovon ihm ein Drittel als Arbeitnehmerbeiträge anzurechnen seien. Unter Berücksichtigung eines Zuschlages von 100 Prozent resultiere ein Mindestanspruch von Fr. 58'076.-.

7.2. Die Höhe der Austrittsleistung bestimmt sich nach dem Reglement. Sie muss mindestens so hoch sein wie die nach Art. 15
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 15 Ansprüche im Beitragsprimat - 1 Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
1    Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
2    Das Sparguthaben ist die Summe aller im Hinblick auf Altersleistungen gutgeschriebenen Beiträge des Arbeitgebers oder der Arbeitgeberin und der versicherten Person sowie der sonstigen Einlagen; sämtliche Zinsen sind zu berücksichtigen.
3    Das Deckungskapital ist nach anerkannten Regeln der Versicherungsmathematik im Anwartschaftsdeckungsverfahren gemäss dem Grundsatz der Bilanzierung in geschlossener Kasse zu berechnen.
4    Beiträge für Sondermassnahmen und Solidaritätsleistungen sind zu berücksichtigen, wenn sie das persönliche Sparguthaben oder das Deckungskapital erhöht haben.
-19
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 19 Versicherungstechnischer Fehlbetrag - 1 Im Freizügigkeitsfall dürfen Vorsorgeeinrichtungen keine versicherungs-technischen Fehlbeträge von der Austrittsleistung abziehen.
1    Im Freizügigkeitsfall dürfen Vorsorgeeinrichtungen keine versicherungs-technischen Fehlbeträge von der Austrittsleistung abziehen.
2    Im Fall einer Teil- oder Gesamtliquidation dürfen versicherungstechnische Fehlbeträge abgezogen werden. Von Vorsorgeeinrichtungen öffentlich-rechtlicher Körperschaften im System der Teilkapitalisierung dürfen versicherungstechnische Fehlbeträge nur so weit abgezogen werden, als sie einen Ausgangsdeckungsgrad nach Artikel 72a Absatz 1 Buchstabe b BVG38 unterschreiten.39
FZG berechnete Austrittsleistung (Art. 2 Abs. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 2 Austrittsleistung - 1 Versicherte, welche die Vorsorgeeinrichtung verlassen, bevor ein Vorsorgefall eintritt (Freizügigkeitsfall), haben Anspruch auf eine Austrittsleistung.
1    Versicherte, welche die Vorsorgeeinrichtung verlassen, bevor ein Vorsorgefall eintritt (Freizügigkeitsfall), haben Anspruch auf eine Austrittsleistung.
1ter    Ebenso haben Versicherte, deren Rente der Invalidenversicherung nach Verminderung des Invaliditätsgrades herabgesetzt oder aufgehoben wird, am Ende der provisorischen Weiterversicherung und Aufrechterhaltung des Leistungsanspruchs nach Artikel 26a Absätze 1 und 2 BVG Anspruch auf eine Austrittsleistung.8
2    Die Vorsorgeeinrichtung bestimmt in ihrem Reglement die Höhe der Austrittsleistung; diese muss mindestens so hoch sein wie die nach den Bestimmungen des 4. Abschnitts berechnete Austrittsleistung.
3    Die Austrittsleistung wird fällig mit dem Austritt aus der Vorsorgeeinrichtung. Ab diesem Zeitpunkt ist sie nach Artikel 15 Absatz 2 BVG zu verzinsen.9
4    Überweist die Vorsorgeeinrichtung die fällige Austrittsleistung nicht innert 30 Tagen, nachdem sie die notwendigen Angaben erhalten hat, so ist ab Ende dieser Frist ein Verzugszins nach Artikel 26 Absatz 2 zu bezahlen.10
FZG; E. 3.1). Der gesetzliche "Wert" kommt also nur zur Überweisung, wenn die reglementarische Austrittsleistung niedriger ist als die nach dem Gesetz berechnete. Insbesondere kommt es nicht zu einer kumulativen Anwendung der reglementarischen und der gesetzlichen Bestimmungen (BGE 136 V 313 E. 5.3.5.2 S. 320 f. m.H. auf Urteil des Eidgenössischen Versicherungsgerichts B 48/96 vom 16. September 1997 E. 4d).

7.3.

7.3.1. Art. 15
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 15 Ansprüche im Beitragsprimat - 1 Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
1    Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
2    Das Sparguthaben ist die Summe aller im Hinblick auf Altersleistungen gutgeschriebenen Beiträge des Arbeitgebers oder der Arbeitgeberin und der versicherten Person sowie der sonstigen Einlagen; sämtliche Zinsen sind zu berücksichtigen.
3    Das Deckungskapital ist nach anerkannten Regeln der Versicherungsmathematik im Anwartschaftsdeckungsverfahren gemäss dem Grundsatz der Bilanzierung in geschlossener Kasse zu berechnen.
4    Beiträge für Sondermassnahmen und Solidaritätsleistungen sind zu berücksichtigen, wenn sie das persönliche Sparguthaben oder das Deckungskapital erhöht haben.
FZG bestimmt die Ansprüche im Beitragsprimat, Art. 16
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG diejenigen im Leistungsprimat (vgl. E. 3.1). Die Art. 17
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
und 18
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 18 Gewährleistung der obligatorischen Vorsorge - Registrierte Vorsorgeeinrichtungen haben den austretenden Versicherten mindestens das Altersguthaben nach Artikel 15 des BVG33 mitzugeben.
FZG sichern diese Ansprüche in zweierlei Hinsicht weiter ab. Art. 17
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG legt allgemein einen Mindestbetrag fest, der auf jeden Fall mitgegeben werden muss, auch wenn die Berechnung nach den Art. 15
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 15 Ansprüche im Beitragsprimat - 1 Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
1    Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
2    Das Sparguthaben ist die Summe aller im Hinblick auf Altersleistungen gutgeschriebenen Beiträge des Arbeitgebers oder der Arbeitgeberin und der versicherten Person sowie der sonstigen Einlagen; sämtliche Zinsen sind zu berücksichtigen.
3    Das Deckungskapital ist nach anerkannten Regeln der Versicherungsmathematik im Anwartschaftsdeckungsverfahren gemäss dem Grundsatz der Bilanzierung in geschlossener Kasse zu berechnen.
4    Beiträge für Sondermassnahmen und Solidaritätsleistungen sind zu berücksichtigen, wenn sie das persönliche Sparguthaben oder das Deckungskapital erhöht haben.
und 16
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG zu einem tieferen Betrag gelangen sollte. Art. 18
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 18 Gewährleistung der obligatorischen Vorsorge - Registrierte Vorsorgeeinrichtungen haben den austretenden Versicherten mindestens das Altersguthaben nach Artikel 15 des BVG33 mitzugeben.
FZG gewährleistet bei registrierten Vorsorgeeinrichtungen die obligatorische Vorsorge durch die Vorgabe, dass den austretenden versicherten Personen mindestens das Altersguthaben nach Art. 15
SR 831.40 Bundesgesetz vom 25. Juni 1982 über die berufliche Alters-, Hinterlassenen- und Invalidenvorsorge (BVG)
BVG Art. 15 Altersguthaben - 1 Das Altersguthaben besteht aus:
1    Das Altersguthaben besteht aus:
a  den Altersgutschriften samt Zinsen für die Zeit, während der der Versicherte der Vorsorgeeinrichtung angehört hat, oder längstens bis zum Erreichen des Referenzalters;
b  den Altersguthaben samt Zinsen, die von den vorhergehenden Einrichtungen überwiesen und dem Versicherten gutgeschrieben worden sind;
c  den Rückzahlungen von Vorbezügen nach Artikel 30d Absatz 6;
d  den Beträgen, die im Rahmen eines Vorsorgeausgleichs nach Artikel 22c Absatz 2 FZG46 überwiesen und gutgeschrieben worden sind;
e  den Beträgen, die im Rahmen eines Wiedereinkaufs nach Artikel 22d Absatz 1 FZG gutgeschrieben worden sind.
2    Der Bundesrat legt den Mindestzins fest. Dabei berücksichtigt er die Entwicklung der Rendite marktgängiger Anlagen, insbesondere der Bundesobligationen, sowie zusätzlich der Aktien, Anleihen und Liegenschaften.48
3    Der Bundesrat überprüft den Mindestzinssatz mindestens alle zwei Jahre. Er konsultiert dabei die Eidgenössische Kommission für berufliche Vorsorge und die Sozialpartner.
4    Er regelt die Festlegung des Anteils des Altersguthabens am gesamten Vorsorgeguthaben in Fällen, in denen dieser Anteil nicht mehr ermittelt werden kann.49
BVG mitzugeben ist. Art. 19
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 19 Versicherungstechnischer Fehlbetrag - 1 Im Freizügigkeitsfall dürfen Vorsorgeeinrichtungen keine versicherungs-technischen Fehlbeträge von der Austrittsleistung abziehen.
1    Im Freizügigkeitsfall dürfen Vorsorgeeinrichtungen keine versicherungs-technischen Fehlbeträge von der Austrittsleistung abziehen.
2    Im Fall einer Teil- oder Gesamtliquidation dürfen versicherungstechnische Fehlbeträge abgezogen werden. Von Vorsorgeeinrichtungen öffentlich-rechtlicher Körperschaften im System der Teilkapitalisierung dürfen versicherungstechnische Fehlbeträge nur so weit abgezogen werden, als sie einen Ausgangsdeckungsgrad nach Artikel 72a Absatz 1 Buchstabe b BVG38 unterschreiten.39
FZG schliesslich regelt die Frage, inwieweit versicherungstechnische Fehlbeträge bei Austritten berücksichtigt werden dürfen (HERMANN WALSER, in: BVG und FZG, 2010, N. 3 zu Art. 15
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 15 Ansprüche im Beitragsprimat - 1 Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
1    Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
2    Das Sparguthaben ist die Summe aller im Hinblick auf Altersleistungen gutgeschriebenen Beiträge des Arbeitgebers oder der Arbeitgeberin und der versicherten Person sowie der sonstigen Einlagen; sämtliche Zinsen sind zu berücksichtigen.
3    Das Deckungskapital ist nach anerkannten Regeln der Versicherungsmathematik im Anwartschaftsdeckungsverfahren gemäss dem Grundsatz der Bilanzierung in geschlossener Kasse zu berechnen.
4    Beiträge für Sondermassnahmen und Solidaritätsleistungen sind zu berücksichtigen, wenn sie das persönliche Sparguthaben oder das Deckungskapital erhöht haben.
FZG). Diese Auslegeordnung ergibt sich nicht nur gestützt auf den Wortlaut von Art. 17 Abs. 1
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG, wonach "zumindest (ein) Anspruch" ("droit au moins" bzw. "diritto almeno") besteht, sondern auch aus der Systematik innerhalb und ausserhalb des 4. Abschnittes des FZG. Vor allem ist laut Art. 2
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 2 Austrittsleistung - 1 Versicherte, welche die Vorsorgeeinrichtung verlassen, bevor ein Vorsorgefall eintritt (Freizügigkeitsfall), haben Anspruch auf eine Austrittsleistung.
1    Versicherte, welche die Vorsorgeeinrichtung verlassen, bevor ein Vorsorgefall eintritt (Freizügigkeitsfall), haben Anspruch auf eine Austrittsleistung.
1ter    Ebenso haben Versicherte, deren Rente der Invalidenversicherung nach Verminderung des Invaliditätsgrades herabgesetzt oder aufgehoben wird, am Ende der provisorischen Weiterversicherung und Aufrechterhaltung des Leistungsanspruchs nach Artikel 26a Absätze 1 und 2 BVG Anspruch auf eine Austrittsleistung.8
2    Die Vorsorgeeinrichtung bestimmt in ihrem Reglement die Höhe der Austrittsleistung; diese muss mindestens so hoch sein wie die nach den Bestimmungen des 4. Abschnitts berechnete Austrittsleistung.
3    Die Austrittsleistung wird fällig mit dem Austritt aus der Vorsorgeeinrichtung. Ab diesem Zeitpunkt ist sie nach Artikel 15 Absatz 2 BVG zu verzinsen.9
4    Überweist die Vorsorgeeinrichtung die fällige Austrittsleistung nicht innert 30 Tagen, nachdem sie die notwendigen Angaben erhalten hat, so ist ab Ende dieser Frist ein Verzugszins nach Artikel 26 Absatz 2 zu bezahlen.10
FZG im Freizügigkeitsfall nur Anspruch auf eine - d.h. integrale - Austrittsleistung ("une prestation de sortie"; "una prestazione d'uscita") gegeben, worauf
sich (auch) der in der Überschrift von Art. 17
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG genannte Mindestbetrag ("montant minimum"; "importo minimo") bezieht. Aus der Entstehungsgeschichte lässt sich nichts Gegenteiliges ableiten (vgl. BBl 1992 III 533, S. 586-595 Ziff. 634; AB N vom 8. Dezember 1992 S. 2442-2449 und AB S vom 17. Juni 1993 S. 567-570). Überdies hat die Vorinstanz richtig erwogen, dass Art. 16 Abs. 3
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 16 Ansprüche im Leistungsprimat - 1 Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
1    Bei Vorsorgeeinrichtungen im Leistungsprimat entsprechen die Ansprüche der Versicherten dem Barwert der erworbenen Leistungen.
2    Die erworbenen Leistungen werden wie folgt berechnet:
3    Die versicherten Leistungen sind im Reglement niedergelegt. Sie bestimmen sich aufgrund der möglichen Versicherungsdauer. Temporäre Leistungen gemäss Artikel 17 Absatz 2 können bei der Barwertbestimmung weggelassen werden, wenn sie nicht nach dem Deckungskapitalverfahren finanziert werden.
4    Die anrechenbare Versicherungsdauer setzt sich zusammen aus der Beitragsdauer und der eingekauften Versicherungsdauer. Sie beginnt frühestens mit der Leistung von Beiträgen an die Altersvorsorge.
5    Die mögliche Versicherungsdauer beginnt zur gleichen Zeit wie die anrechenbare Versicherungsdauer und endet mit dem reglementarischen Referenzalter25.
6    Der Barwert ist nach anerkannten Regeln der Versicherungsmathematik zu ermitteln. Die Barwerte sind im Reglement tabellarisch darzustellen.
FZG seines Sinnes enthoben würde, wenn hinsichtlich der wegzulassenden temporären Leistungen handkehrum ein gesonderter Mindestbetrag gestützt auf Art. 17 Abs. 5
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG zuzusprechen wäre. Demnach verbleibt auch für die Berechnung der Austrittsleistung im Rahmen der - hier im Fokus stehenden - gesetzlichen Ordnung kein Raum für eine Kumulation.

7.3.2. In concreto liegt weder ein Anwendungsfall von Art. 18
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 18 Gewährleistung der obligatorischen Vorsorge - Registrierte Vorsorgeeinrichtungen haben den austretenden Versicherten mindestens das Altersguthaben nach Artikel 15 des BVG33 mitzugeben.
FZG (vgl. E. 4.1) noch von Art. 19
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 19 Versicherungstechnischer Fehlbetrag - 1 Im Freizügigkeitsfall dürfen Vorsorgeeinrichtungen keine versicherungs-technischen Fehlbeträge von der Austrittsleistung abziehen.
1    Im Freizügigkeitsfall dürfen Vorsorgeeinrichtungen keine versicherungs-technischen Fehlbeträge von der Austrittsleistung abziehen.
2    Im Fall einer Teil- oder Gesamtliquidation dürfen versicherungstechnische Fehlbeträge abgezogen werden. Von Vorsorgeeinrichtungen öffentlich-rechtlicher Körperschaften im System der Teilkapitalisierung dürfen versicherungstechnische Fehlbeträge nur so weit abgezogen werden, als sie einen Ausgangsdeckungsgrad nach Artikel 72a Absatz 1 Buchstabe b BVG38 unterschreiten.39
FZG (vgl. Sachverhalt lit. A) vor. Nachdem allein die Höhe der Austrittsleistung im Leistungsprimat zur Diskussion steht (vgl. E. 5.1), fällt auch Art. 15
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 15 Ansprüche im Beitragsprimat - 1 Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
1    Bei Spareinrichtungen entsprechen die Ansprüche der Versicherten dem Sparguthaben; bei versicherungsmässig geführten Beitragsprimatkassen entsprechen sie dem Deckungskapital.
2    Das Sparguthaben ist die Summe aller im Hinblick auf Altersleistungen gutgeschriebenen Beiträge des Arbeitgebers oder der Arbeitgeberin und der versicherten Person sowie der sonstigen Einlagen; sämtliche Zinsen sind zu berücksichtigen.
3    Das Deckungskapital ist nach anerkannten Regeln der Versicherungsmathematik im Anwartschaftsdeckungsverfahren gemäss dem Grundsatz der Bilanzierung in geschlossener Kasse zu berechnen.
4    Beiträge für Sondermassnahmen und Solidaritätsleistungen sind zu berücksichtigen, wenn sie das persönliche Sparguthaben oder das Deckungskapital erhöht haben.
FZG (Ansprüche im Beitragsprimat) ausser Betracht. Dass mit der Austrittsleistung von Fr. 79'671.70 der Mindestbetrag nach Art. 17
SR 831.42 Bundesgesetz vom 17. Dezember 1993 über die Freizügigkeit in der beruflichen Alters-, Hinterlassenen- und Invalidenvorsorge (Freizügigkeitsgesetz, FZG) - Freizügigkeitsgesetz
FZG Art. 17 Mindestbetrag bei Austritt aus der Vorsorgeeinrichtung - 1 Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
1    Bei Austritt aus der Vorsorgeeinrichtung hat die versicherte Person zumindest Anspruch auf die eingebrachten Eintrittsleistungen samt Zinsen sowie auf die von ihr während der Beitragsdauer geleisteten Beiträge samt einem Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr, höchstens aber von 100 Prozent. Das Alter ergibt sich aus der Differenz zwischen dem Kalenderjahr und dem Geburtsjahr.
2    Beiträge zur Finanzierung von Leistungen und zur Deckung von Kosten können von den Beiträgen der versicherten Person nur abgezogen werden, wenn die Höhe der verschiedenen Beiträge im Reglement festgelegt und der Bedarf in der Jahresrechnung oder in deren Anhang ausgewiesen ist. Abgezogen werden dürfen:
a  Beitrag zur Finanzierung der Ansprüche auf Invalidenleistungen bis zum Erreichen des Referenzalters26;
b  Beitrag zur Finanzierung der Ansprüche auf Hinterlassenenleistungen, die vor Erreichen des Referenzalters entstehen;
c  Beitrag zur Finanzierung der Ansprüche auf Überbrückungsrenten bis zum Erreichen des Referenzalters. Der Bundesrat setzt die näheren Bedingungen für diese Abzugsmöglichkeit fest;
d  Beitrag für Verwaltungskosten;
e  Beitrag für Kosten des Sicherheitsfonds;
f  Beitrag zur Behebung einer Unterdeckung;
g  Beitrag zur Finanzierung des Ausgleichs von Rentenumwandlungsverlusten.28
3    Sofern das Reglement diesen Abzug in Beitragsprozenten vorsieht, können auch im Reglement vorgesehene Aufwendungen zur Finanzierung der Anpassung der laufenden Renten an die Preisentwicklung nach Artikel 36 BVG29 sowie der Mindestleistungen für Versicherungsfälle während der Übergangszeit nach Artikel 33 BVG von den Beiträgen der versicherten Person abgezogen werden.30
4    Beiträge zur Finanzierung von Leistungen nach Absatz 2 Buchstaben a-c können nur dann von den Beiträgen der versicherten Person abgezogen werden, wenn der nicht für die Leistungen und Kosten nach den Absätzen 2 und 3 verwendete Teil der Beiträge verzinst wird.31
5    Von den gesamten reglementarischen Beiträgen, die der Arbeitgeber oder die Arbeitgeberin und der Arbeitnehmer oder die Arbeitnehmerin leisten, ist mindestens ein Drittel als Arbeitnehmerbeitrag zu betrachten.
6    Für Beiträge nach Artikel 33a BVG wird kein Zuschlag von 4 Prozent pro Altersjahr ab dem 20. Altersjahr nach Absatz 1 berechnet.32
FZG nicht erreicht sein soll, wird nicht behauptet (vgl. Art. 42 Abs. 1
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 42 Rechtsschriften - 1 Rechtsschriften sind in einer Amtssprache abzufassen und haben die Begehren, deren Begründung mit Angabe der Beweismittel und die Unterschrift zu enthalten.
1    Rechtsschriften sind in einer Amtssprache abzufassen und haben die Begehren, deren Begründung mit Angabe der Beweismittel und die Unterschrift zu enthalten.
2    In der Begründung ist in gedrängter Form darzulegen, inwiefern der angefochtene Akt Recht verletzt. Ist eine Beschwerde nur unter der Voraussetzung zulässig, dass sich eine Rechtsfrage von grundsätzlicher Bedeutung stellt oder aus anderen Gründen ein besonders bedeutender Fall vorliegt, so ist auszuführen, warum die jeweilige Voraussetzung erfüllt ist. 14 15
3    Die Urkunden, auf die sich die Partei als Beweismittel beruft, sind beizulegen, soweit die Partei sie in Händen hat; richtet sich die Rechtsschrift gegen einen Entscheid, so ist auch dieser beizulegen.
4    Bei elektronischer Einreichung muss die Rechtsschrift von der Partei oder ihrem Vertreter beziehungsweise ihrer Vertreterin mit einer qualifizierten elektronischen Signatur gemäss Bundesgesetz vom 18. März 201616 über die elektronische Signatur versehen werden. Das Bundesgericht bestimmt in einem Reglement:
a  das Format der Rechtsschrift und ihrer Beilagen;
b  die Art und Weise der Übermittlung;
c  die Voraussetzungen, unter denen bei technischen Problemen die Nachreichung von Dokumenten auf Papier verlangt werden kann.17
5    Fehlen die Unterschrift der Partei oder ihrer Vertretung, deren Vollmacht oder die vorgeschriebenen Beilagen oder ist die Vertretung nicht zugelassen, so wird eine angemessene Frist zur Behebung des Mangels angesetzt mit der Androhung, dass die Rechtsschrift sonst unbeachtet bleibt.
6    Unleserliche, ungebührliche, unverständliche, übermässig weitschweifige oder nicht in einer Amtssprache verfasste Rechtsschriften können in gleicher Weise zur Änderung zurückgewiesen werden.
7    Rechtsschriften, die auf querulatorischer oder rechtsmissbräuchlicher Prozessführung beruhen, sind unzulässig.
und 2
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 42 Rechtsschriften - 1 Rechtsschriften sind in einer Amtssprache abzufassen und haben die Begehren, deren Begründung mit Angabe der Beweismittel und die Unterschrift zu enthalten.
1    Rechtsschriften sind in einer Amtssprache abzufassen und haben die Begehren, deren Begründung mit Angabe der Beweismittel und die Unterschrift zu enthalten.
2    In der Begründung ist in gedrängter Form darzulegen, inwiefern der angefochtene Akt Recht verletzt. Ist eine Beschwerde nur unter der Voraussetzung zulässig, dass sich eine Rechtsfrage von grundsätzlicher Bedeutung stellt oder aus anderen Gründen ein besonders bedeutender Fall vorliegt, so ist auszuführen, warum die jeweilige Voraussetzung erfüllt ist. 14 15
3    Die Urkunden, auf die sich die Partei als Beweismittel beruft, sind beizulegen, soweit die Partei sie in Händen hat; richtet sich die Rechtsschrift gegen einen Entscheid, so ist auch dieser beizulegen.
4    Bei elektronischer Einreichung muss die Rechtsschrift von der Partei oder ihrem Vertreter beziehungsweise ihrer Vertreterin mit einer qualifizierten elektronischen Signatur gemäss Bundesgesetz vom 18. März 201616 über die elektronische Signatur versehen werden. Das Bundesgericht bestimmt in einem Reglement:
a  das Format der Rechtsschrift und ihrer Beilagen;
b  die Art und Weise der Übermittlung;
c  die Voraussetzungen, unter denen bei technischen Problemen die Nachreichung von Dokumenten auf Papier verlangt werden kann.17
5    Fehlen die Unterschrift der Partei oder ihrer Vertretung, deren Vollmacht oder die vorgeschriebenen Beilagen oder ist die Vertretung nicht zugelassen, so wird eine angemessene Frist zur Behebung des Mangels angesetzt mit der Androhung, dass die Rechtsschrift sonst unbeachtet bleibt.
6    Unleserliche, ungebührliche, unverständliche, übermässig weitschweifige oder nicht in einer Amtssprache verfasste Rechtsschriften können in gleicher Weise zur Änderung zurückgewiesen werden.
7    Rechtsschriften, die auf querulatorischer oder rechtsmissbräuchlicher Prozessführung beruhen, sind unzulässig.
BGG), weshalb sich diesbezügliche Weiterungen erübrigen. Die Beschwerde ist auch in diesem Punkt unbegründet.

8.
Dem Ausgang des Verfahrens entsprechend werden die Gerichtskosten dem Beschwerdeführer auferlegt (Art. 66 Abs. 1
SR 173.110 Bundesgesetz vom 17. Juni 2005 über das Bundesgericht (Bundesgerichtsgesetz, BGG) - Bundesgerichtsgesetz
BGG Art. 66 Erhebung und Verteilung der Gerichtskosten - 1 Die Gerichtskosten werden in der Regel der unterliegenden Partei auferlegt. Wenn die Umstände es rechtfertigen, kann das Bundesgericht die Kosten anders verteilen oder darauf verzichten, Kosten zu erheben.
1    Die Gerichtskosten werden in der Regel der unterliegenden Partei auferlegt. Wenn die Umstände es rechtfertigen, kann das Bundesgericht die Kosten anders verteilen oder darauf verzichten, Kosten zu erheben.
2    Wird ein Fall durch Abstandserklärung oder Vergleich erledigt, so kann auf die Erhebung von Gerichtskosten ganz oder teilweise verzichtet werden.
3    Unnötige Kosten hat zu bezahlen, wer sie verursacht.
4    Dem Bund, den Kantonen und den Gemeinden sowie mit öffentlich-rechtlichen Aufgaben betrauten Organisationen dürfen in der Regel keine Gerichtskosten auferlegt werden, wenn sie in ihrem amtlichen Wirkungskreis, ohne dass es sich um ihr Vermögensinteresse handelt, das Bundesgericht in Anspruch nehmen oder wenn gegen ihre Entscheide in solchen Angelegenheiten Beschwerde geführt worden ist.
5    Mehrere Personen haben die ihnen gemeinsam auferlegten Gerichtskosten, wenn nichts anderes bestimmt ist, zu gleichen Teilen und unter solidarischer Haftung zu tragen.
BGG).

Demnach erkennt das Bundesgericht:

1.
Die Beschwerde wird abgewiesen.

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

3.
Dieses Urteil wird den Parteien, dem Sozialversicherungsgericht des Kantons Zürich und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.

Luzern, 19. Februar 2016
Im Namen der II. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts

Die Präsidentin: Glanzmann

Die Gerichtsschreiberin: Dormann
Decision information   •   DEFRITEN
Document : 9C_889/2014
Date : 19. Februar 2016
Published : 08. März 2016
Source : Bundesgericht
Status : Publiziert als BGE-142-V-129
Subject area : Berufliche Vorsorge
Subject : Berufliche Vorsorge (Freizügigkeitsleistung)


Legislation register
BGG: 42  66  95  97  105
BPG: 32k
BV: 9
BVG: 1  15  65  65a  67  72a  73
BVV 2: 1f  43  47
FZG: 2  12  15  16  17  18  19
FZV: 6
UVG: 90
ZGB: 89a
BGE-register
128-II-24 • 129-III-702 • 130-II-258 • 134-V-369 • 136-V-313 • 138-III-659 • 138-V-346 • 138-V-86 • 139-V-358 • 139-V-66 • 140-V-121 • 140-V-50
Weitere Urteile ab 2000
9C_193/2008 • 9C_24/2014 • 9C_367/2013 • 9C_889/2014 • B_48/96
Keyword index
Sorted by frequency or alphabet
[noenglish] • accounting • actuarial practice • administrative costs • affiliation agreement • age limit • appeal concerning affairs under public law • balance sheet • beginning • buy-in sum • calculation • compulsory precaution • condition • constitution • contribution primacy • correctness • correspondence • coverage • coverage capital • day • death • decision • disabled's benefit • doubt • duration • duration of contribution • early retirement • earnings • effect • employee • employee's contribution • employer • enclosure • end • ex officio • expectancy • federal council of switzerland • federal court • federal insurance court • federal servants law • finding of facts by the court • flexible retirement age • forfeiture • formation of real right • foundation • fraud • freedom of movement act • hamlet • historical interpretation • infringement of a right • innovation • insurance card • intention • interest • lawyer • leaving • legal demand • litigation costs • lower instance • maximum • meadow • need • old-age credit • outside • participant of a proceeding • pension • pension performance • pension plan • precautionary institution • primacy of performances • principle of judicial investigation • process of forming coverage capital • protective measures • question • question of fact • registered provisionary institution • reserves for fluctuating annual requirement • retirement • retirement performances • savings fund • security fund • standard • statement of affairs • statement of reasons for the adjudication • survivor • survivors' performances • time limit • value • voting suggestion of the authority • welfare fund • within
BBl
1992/533 • 1992/III/533