pgp.surfnet.nl until an our ago was a CNAME for server diffie.surfnet.nl
Now it is an alias for node kerckhoffs.surfnet.nl which is a VMware VM with a
different IP address. The CNAME minsky.surfnet.nl also moved to the new server.
$ dig pgp.surfnet.nl
;; QUESTION SECTION:
;pgp.surfnet.nl. IN A
;; ANSWER SECTION:
pgp.surfnet.nl. 3600 IN CNAME kerckhoffs.surfnet.nl.
kerckhoffs.surfnet.nl. 86362 IN A 188.8.131.52
keyservers that sync to pgp.surfnet.nl or minsky.surfnet.nl will recon with
the new server as soon as your DNS entries expire from local caches. When the
physical server will be switched of, its name diffie.surfnet.nl will also be
made a CNAME for kerckhoffs.