Citation: 9C_454/2016 E. 6.6.1

6.6.1. Die Frühpensionierung ist eine heftig umstrittene Massnahme, die vom üblichen Inhalt eines GAV abweicht und angesichts der erheblichen finanziellen Tragweite einer klaren vertraglichen Begründung bedarf (SZS 2010 S. 453, 9C_1033/2009 E. 2.8). Eine Vertragslücke liegt vor, wenn die Parteien eine Rechtsfrage, die den Vertragsinhalt betrifft, nicht oder nicht vollständig geregelt haben. Ob der Vertrag in diesem Sinne einer Ergänzung bedarf, ist vorerst durch empirische, bei deren Ergebnislosigkeit durch normative Auslegung zu ermitteln (BGE 115 II 484 E. 4a S. 487; Urteil 4A_696/2015 vom 25. Juli 2016 E. 6.2.1 mit weiteren Hinweisen).