Comment by pgeorgi

The failure has yet to propagate to Germany, given how slow internet is here.