Those were the days, my friend: The public sector and the economic crisis in Spain