Anyone know what has happened to uk.debian.org

[David Goodenough]

It seems to have vanished.  The FTP and HTTP servers both seem to be
down.  Is this planned downtime or just a feature of the Christmas
break?

The domain name is there, but the machine seems to have gone to sleep
not evening responding to pings.