Citation: BGE 139 V 234 E. 4.1

Die Vorinstanz ist aufgrund des Wortlauts (Anspruch auf "Besitzstandsgarantie" nicht auf "Altersrente") sowie der Materialien (Botschaft vom 23. September 2005 über die Pensionskasse des Bundes [PUBLICA-Gesetz und Änderung des PKB-Gesetzes]; BBl 2005 5829 ff.) zum Ergebnis gelangt, Art. 25 Satz 1 PUBLICA-Gesetz bezwecke die Wahrung des leistungsmässigen Status der Übergangsgeneration und beschränke sich damit nicht auf eine Garantie der altrechtlichen Rente. Die Garantie komme unabhängig davon zum BGE 139 V 234 S. 237 Tragen, ob die versicherte Person die Altersrente oder den (teilweisen) Kapitalbezug gewählt habe (vgl. Art. 39 und 40 des Vorsorgereglements vom 15. Juni 2007 für die Angestellten und die Rentenbeziehenden des Vorsorgewerks Bund [VRAB; SR 172.220.141.1]). Hingegen erfolge die in Art. 25 Satz 2 PUBLICA-Gesetz vorgesehene - gerade deshalb gesondert geregelte - versicherungsmathematische Kürzung des garantierten Besitzstandes bei einer vorzeitigen Pensionierung vor dem Alter 62 nach dem neuen, seit 1. Januar 2008 geltenden Recht. Das Auslegungsergebnis hat die Vorinstanz rechnerisch wie folgt umgesetzt: (1) Nach bisherigem Recht berechnete jährliche Altersrente bei Rücktritt im Alter 62 (62 Jahre und 0 Monate [62/0]): Fr. 56'371.30 (95 % von Fr. 59'317.- [zuzüglich Fr.