Los servicios gubernamentales suponen un 13% del PIB, empleando a unas 350 mil personas.