Danish archive site Dk.archive.ubuntu.com is down - what to do?

[Carsten Agger]

We're administering about 1,000 Ubuntu PCs for customers, and one of the 
sites has reported that the Danish archive server is down, as can also 
be seen here.


https://isitdownorjust.me/dk-archive-ubuntu-com/


The main archive.ubuntu.com is up. Can the Danish mirror be considered 
unstable, and should we switch everyone to the new one? Who's 
responsible for the national mirrors, if anyone knows?


Thanks,
Carsten