Tussen werkgever en een ex-werknemer ontstaat discussie over de vraag welk pensioenreglement op de werknemer van toepassing is. De werknemer stelt dat dit het pensioenreglement 1999 is omdat dit reglement hem bij indiensttreding in 2005 zou zijn verstrekt. De werkgever betwist dit. Nu de pensioenregeling in 2004 in verband met de invoering van de Wet Witteveen is gewijzigd, had het de werknemer duidelijk moeten zijn dat de pensioenregeling 2004 op hem van toepassing was. Partijen twisten voorts over de vraag of de pensioenregeling na indiensttreding rechtsgeldig is gewijzigd. Voor de vraag of