The ftp site ftp.inf.ethz.ch is not accepting connections from outside ethz.ch. Inquiries have been made to some people there to resolve the issue. j