germany gdp vs population