.As I recall the sale netted €6 billion but I can't remember the size of the pension deficit. Since the employees were given 15% that means there was around €5.1 billion left from the sale. I know that their pension fund was back in deficit by 2010 but may have recovered since due to stock market growth.Of course. But the Exchequer took in IR£4bn IIRC. You had claimed: