Citation: BGE 142 V 129 E. 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 FZG sei nur erlaubt, wenn alle Tatbestandselemente von BGE 142 V 129 S. 134 Art. 17 Abs. 2 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 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.