input_sentence: Indem mit der streitigen Einverständniserklärung gerade der Streit , ob die Z. zur einseitigen Einstellung der Erteilung des Versorgungsrechts berechtigt war oder nicht , beigelegt werden sollte , haben die Klagepartei und die Z. gerade nicht Zulässigkeit der Einstellung der Erteilung der Versorgungsrechte , über die das Bundesarbeitsgericht im Mai 2012 entschieden hat , zur Geschäftsgrundlage der Erklärungen in der Anlage 3a gemacht .