Citation: BGE 140 V 50 E. 1.5

Vorsorgereglement). Zwar ist es grundsätzlich zulässig, den Kreis der Begünstigten enger zu fassen als in Art. 20a BVG vorgesehen (BGE 138 V 86 E. 4.2 S. 93; BGE 137 V 383 E. 3.2 S. 387 f.), dies muss aber im Reglement statuiert werden. Weiter ist nicht ersichtlich, wann dem Versicherten Kenntnis des Formulars gegeben worden war, und der Anspruch der Lebensgefährtin ist auch nicht reglementarisch von vornherein an die formelle Voraussetzung einer Begünstigungserklärung zu Lebzeiten (BGE 136 V 127 E. 4.5 S. 130) resp. der Benutzung des konkreten Formulars gebunden (vgl. Ziff.