Update 17:00: The situation has been under control for the past hours. We will keep monitoring the situation closely.
Starting from 14:14 CEST, we were targeted by a DDOS attack, causing some slow response times or unavailability of our services. Around 14:30, we had successfully rerouted all traffic, and deflected the attack. We will closely keep monitoring performance and investigate further into the exact target.