[Resolved] DNS Issue

At around 19:10 CET there was a brief period during which there was a DNS issue that caused our services to be unreachable.  We apologise for this interruption to our services.