What is the Population of Berlin?

With over 3.4 million inhabitants, Berlin is the largest city in Germany. If you count the metro area of Berlin, the city has a total population of around 5 million.