Orientierungssätze:1. Die Unklarheitenregel spielte im vorliegenden Fall bei der Vertragsauslegung keine Rolle, weil Wortlaut und Systematik keine ernsthaften Zweifel aufkommen ließen und der Kläger die Vereinbarungen auch richtig verstanden hatte.2. Ein Teilverzicht auf eine Versorgungsanwartschaft, der nicht im Zusammenhang mit der Beendigung des Arbeitsverhältnisses, sondern im laufenden Arbeitsverhältnis vereinbart wird, verstößt nicht gegen § 3 BetrAVG.3. Die Anfechtungserklärung des Klägers richtete sich nicht gegen den gesamten Vertrag, sondern nur gegen die darin enthaltene Verschlechterung seiner Versorgungsrechte. Eine derartige Teilanfechtung wäre nur dann wirksam gewesen, wenn die Parteien den Vertrag auch ohne die angefochtene Erklärung abgeschlossen hätten. Diese Voraussetzung war nicht erfüllt.4. Eine salvatorische Klausel regelt lediglich, wie sich die Unwirksamkeit einzelner Bestimmungen des Vertrages auf die Gültigkeit der übrigen Bestimmungen auswirkt. Sie schafft aber nicht die Möglichkeit, den Vertrag durch Teilanfechtung aufzuspalten und durch eine derartige rechtsgeschäftliche Willenserklärung die Unwirksamkeit einzelner Bestimmungen herbeizuführen.