I'm not sure about the particular component but Xetra/Eurex indeed went down in April. Same pattern as today: it went down around the opening hours and got fixed around lunch time. They have some structural problems that have likely been left unsolved.