How many stars are there in the universe?. ESA, 2020.