What is the population of the place where Daniel Vertangen was born?