Working Time, Staffing levels, Strike, Central government