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.

Jobs neon
Source: Forex Live