What is the population of August Wagenmann's city of death, as of 2015?