AW: ftp5.gwdg.de offline?