Despite the fact that the population of Germany surpassed the population of the UK by approximately 16.7 million in 2017 , the number of ATMs operational in that country was higher by over approximately 4 thousand , as of June 2019 .