Question: What is the population of this city in the state of Hesse in Germany that is the birthplace of Johannes Paulmann?
Sentence (from "Darmstadt"): Darmstadt has a population around 150,000 (2013).
Relevant evidence: Yes