Due to an outage of our Caching-Servers we had a brief downtime from 12:05 (UTC) to 12:14 (UTC). In total our servers were unreachable for 9minutes until our backup servers kicked in. We apologize for any inconvenience this might have caused. All Services are back to normal.