germany population over time