I said
in /etc now comes up with one hit, in ntp.conf:
# and
admin.curacao.bitfolk.com (nagios)
restrict 212.13.194.71
so I changed that to 85.119.80.238 and 85.119.80.244 per the customer
information page on the website and restarted ntp.
Looking, I should have added these two ages ago, but I suspect I am not
the only one who didn't...
Ian