> hydra.helsinki.fi has never been the right site: you should use
> ftp.cs.helsinki.fi instead.
Yes, that would be the right thing to do, but I must admit that it took
me some time to figure this out, too: Our local name servers don't
seem to bee too reliable, so I use numeric addresses wherever I can.
Kai