Spain’s population shrinks as immigrants flee economic crisis