What is the population of this city in the state of Hesse in Germany that is the birthplace of Johannes Paulmann?