Wie hoch ist das Pro-Kopf-BIP von Portugal?