Working Time, Staffing levels, Central government