In 2012 Germanys Gdp 2023