________ is the population of Germany? [