Thank you very much for the correction, I’ll edit main answer, not to hide my mistake, but to make it easier to find the correct information for people who will search the community.
Thank you also for the information about time servers. Unfortunately it seems that less and less NTP servers are available as a free service on the internet. We will try to fix that.
