Staffing levels, Central government, Denmark