With a population of 518,000, Hanover is a major centre of Northern Germany and the country's thirteenth largest city. What is "highways" in German