I notice several people jumping to conclusions and posting "if she contributed @$x for 30 years...this sort of pension is possible"..

I re-read the article...at no point does it say how long she has worked for the government...