With a population of 518,000, Hanover is a major centre of Northern Germany and the country's thirteenth largest city. What is Hanover's ranking in terms of size in Germany?