Am I reading this correctly? All .de domains are down? Looking forward to reading the postmortem.