Der Versicherte, welcher nach Erreichen des 58. Altersjahres sein Arbeitsverhältnis selber auflöst und damit aus der obligatorischen Versicherung ausscheidet, kann seine Versicherung unter den Bedingungen von Art. 47 BVG selbst dann weiterführen, wenn es sich um eine definitive Aufgabe der Erwerbstätigkeit handelt (E. 4.4). Aus einer vor allem historischen und teleologischen Auslegung von Art. 47 Abs. 1 BVG ergibt sich, dass diese Bestimmung auch auf einen Versicherten angewendet werden kann, der bereits das Alter von 58 Jahren erreicht hat, und dass ihre Anwendung nicht in jedem Fall auf einen Zeitraum von zwei Jahren beschränkt werden muss (E. 4). Art. 47 BVG kann jedoch nach dem Eintritt des Vorsorgefalles "Alter" gemäss dem Vorsorgereglement keine Anwendung mehr finden. Beantwortung der in BGE 141 V 162 E. 4.3.4 offengelassenen Frage (E. 5.3.1.2).