Hallo, [...] > (de.debian.org ist > bei mir gerade tot. Sonst hättest Du den deutschen Link bekommen) lag an dem Hochwasser in Dresden, da war das ganze (Telefon)Netz tot. Seit vorhin geht der Server aber wieder... Ciao, Eckhard