Unfortunately, there was a larger network outage on 13:40 that lasted until 13:45. Reason was an unexpected crash of one of the both core routers. During investigation in this issue, there happened a problem with the other core router which caused a global network problem.
We will further investigate in this issue and are very sorry for this outage. Right now, everything is up and running again.