Question: What is the population of August Wagenmann's city of death, as of 2015?
Sentence (from "Heidelberg"): At the 2015 census, its population was 156,257, with roughly a quarter of its population being students.
Relevant evidence: Yes