In Art. 11 des Reglements vom 1. Januar 1995 heisst es: "Der anrechenbare Jahreslohn ist das bei Jahresbeginn für die AHV-Abrechnung massgebliche Arbeitsentgelt, gegebenenfalls der AHV-Lohn, den der Versicherte bei ganzjähriger Beschäftigung erzielen würde. Der maximal anrechenbare Jahreslohn beträgt die doppelte AHV-Lohnlimite." Aus den edierten Lohnausweisen für die Steuererklärung ergibt sich Folgendes: Bruttolohn AHV-Beiträge berufliche Vorsorge 1993 Fr. 55294.- (mit 107 Schichttagen) Fr. 3299.- Fr. 3236.- 1994 Fr. 63477.- (mit 149 Schichttagen) Fr. 3757.- Fr. 3382.- 1995 Fr. 67784.- (mit 112 Schichttagen) Fr. 4310.- Fr. 3360.- 1996 Fr. 68206.- (mit 126 Schichttagen)