There was a time when mentioning Leipzig to someone unfamiliar with Germany would prompt a polite, slightly confused pause. Berlin, Munich, Hamburg — those names landed instantly.