My otherwise good-working linux ftp shows: (6) Couldn't resolve host 'ftp.informatik.uni-bremen.de' for several days now. Also googling <uni-bremen.de> + oberon shows nothing. Is there a mirror-site for linux-ETH-oberon ? == Chris Glur.