Falls es jemanden interessiert: Der Serverausfall hing mit einem technischen Defekt an der Netzwerkanbindung unseres Providers zusammen. Es waren also alle Server dieses Anbieters down.
So wie's aussieht scheint das Problem aber inzwischen wieder behoben zu sein.
So wie's aussieht scheint das Problem aber inzwischen wieder behoben zu sein.