Citation: BGE 139 V 230 E. 5.2

Über die Modalitäten der Kürzung ist damit allerdings noch nichts gesagt. Namentlich lässt sich aus dem vom Gesetzgeber verwendeten Terminus "versicherungsmathematisch" - entgegen den vorinstanzlichen Erwägungen - nicht ableiten, die Kürzung sei nicht mehr nach dem bis 30. Juni 2008 gültig gewesenen Art. 33 Abs. 4 der Verordnung vom 25. April 2001 über die Versicherung im Kernplan der Pensionskasse des Bundes (PKBV 1; AS 2001 2327, [in Kraft gestanden bis Ende Juni 2008]) vorzunehmen. Gemäss dieser Norm war die Altersrente bei Pensionierung vor dem vollendeten