Stimmt, entweder ist der Server nur ausgelastet oder die Webseite abgeschaltet. Ich habe das komplette PDF (40 MB) noch auf der Festplatte, weiß aber gerade nicht ob die Vervielfältigung dessen erlaubt ist.
Eventuell einfach warten, vielleicht geht die Seite bald wieder.