"Leipzig is the largest city in the German federal state of Saxony, with a population of approximately 530,000." . . . .