Tussen de werkgever en de werkneemster is een geschil ontstaan over de vraag of de pensioenregeling van de werkneemster het karakter heeft van een uitkeringsovereenkomst op basis van eindloon en of de werkgever de pensioenovereenkomst eenzijdig heeft mogen wijzigen naar een beschikbare premieregeling. De werkneemster vordert in deze procedure voor recht te verklaren dat aan haar een premievrije eindloonregeling is toegezegd, vormgegeven door middel van een uitkeringsovereenkomst, en de werkgever te veroordelen om deze uitkeringsovereenkomst te financieren voor het verleden en voor de toekomst gefinancierd te