Reuters with the info.
75k lopped from the workforce will be a big saving. There is some debate on how many will need to be hired back, perhaps as private sector employees, to perform necessary government jobs.
This article was written by Eamonn Sheridan at www.forexlive.com.