Wegen eines Konfigurationsproblems, verbunden mit Ueberlastung, hat es leider einen Ausfall des www/ftp-Servers zwischen 14:15 und 15:30 gegeben. 7/10/02, Ch. Sturm