これで、ポルトガルのGDPが9.3%上がったんだって?