Die Rechte der Versicherten dürfen nur soweit beschränkt werden, als dies für die sachgerechte Durchführung des Vorsorgeverhältnisses erforderlich ist (
BGE 129 V 145 E. 4 S. 149 mit Hinweisen auf die Lehre;
BGE 115 V 103 E. 4b S. 109). Vorsorgeeinrichtungen des öffentlichen Rechts haben zudem das Verbot des überspitzten Formalismus zu respektieren. Dabei handelt es sich um eine besondere Form der Rechtsverweigerung. Überspitzter Formalismus liegt vor, wenn für ein Verfahren rigorose Formvorschriften aufgestellt werden, ohne dass die Strenge sachlich gerechtfertigt wäre, oder wenn die Behörde formelle Vorschriften mit übertriebener Schärfe handhabt (
BGE 120 V 413 E. 4b S. 417).