What is the population of Denmark right now