Danach steht es den Vorsorgeeinrichtungen im weitergehenden Bereich der beruflichen Vorsorge frei zu bestimmen, dass der Anspruch auf eine Invalidenrente nur bis zum Erreichen des Rentenalters besteht, bzw. Altersleistungen zu erbringen, die geringer als die vor Erreichen des Pensionierungsalters ausgerichtete Invalidenrente sind. Das Gericht erwog, der in
BGE 127 V 259 herangezogene allgemeine Grundsatz der beruflichen Vorsorge, gemäss welchem die versicherte Person bei Erreichen des Rentenalters die gewohnte Lebenshaltung solle fortsetzen können, vermöge als Stütze nicht zu überzeugen. Die Verfassungsbestimmung des
Art.