[teddyh]

They weren’t just a cloud hosting company, they were also a domain name registrar and provided DNS hosting.

The registry for the .DK TLD has published a page on what to do for those affected: <https://punktum.dk/en/faq/if-you-are-a-customer-at-cloudnord...>