I extended the disk space for the Debian archive at ftp.de.debian.org. This took longer than expected. (mkraid wanted seven hours.) Means that ftp.de.debian.org is fetching all the files that were missing in the last weeks. Another problem: there are sporadic network failures. But they tend to be solved quickly. Sven -- Sven Rudolph <sr1@sax.de> http://www.sax.de/~sr1/