Hi, I don't know if Eberhard M. is aware of it or not, but the FTP server on ftp4.gwdg.de has been down since at least about 16:00 GMT yesterday (Tues. morning here on the N.A. west coast). The HTTP counterpart is up and running.
Randall Schulz --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
