Due to a merge of ftp2.de.freebsd.org and ftp.de.freebsd.org (hardware wise and hostwise) there will be outage times between 16th and 18th of August. When exactly and how long cannot be determined right now. Chris Christoph P. U. Kukulies kuku at gil.physik.rwth-aachen.de