Portugal Einwohnerzahl 2023