Der Support hat inzwischen bestätigt, dass es ein DNS-Problem gab.
Falls jemand weiterhin Schwierigkeiten hat, hilft es in vielen Fällen,
den lokalen DNS-
Cache zu leeren.
Eingabeaufforderung als Administrator öffnen ->
Mit Enter bestätigen, danach sollte die Meldung „DNS-Resolvercache wurde geleert“ erscheinen. Im Anschluss
den Worker neu starten und schauen obs läuft.