Auf dem Archivserver http://archive.debian.org/ Gespiegelt wird der unter anderem von ftp.de.debian.org.
Vielen Dank für die schnelle Hilfe -- Frank Becker