Sorry, I have just upgraded to Windows 10 on my PC and for various
reasons prefer to use that for news and e-mail and of course web
browsing. I had not noticed that with Windows 10 I was using the default
settings (that is US) for date and time. I have changed it now.
A thousand apologies.
Yet another example of what we were talking about.