Es scheint seit heute Mittag sporadische Netzwerkprobleme außerhalb unserer Einflussbereichs zu geben. Näheres ist leider noch nicht bekannt.

Update: Die Netzwerkprobleme sind gelöst. Ursache war ein Defekt auf einem Switch eines Berliner Peeringpunkts.