sind die Server von GWDG down?

Hallo, weiß jemand was mit den Servern ftp://ftp.gwdg.de/pub/linux/suse/apt/ ftp://ftp4.gwdg.de/pub/linux/suse/apt/ und ftp://ftp-1.gwdg.de/pub/linux/suse/apt/ ist? Die sind in meiner sources.list eingetragen und nicht erreichbar. Gruß Herbert -- Um die Liste abzubestellen, schicken Sie eine Mail an: suse-linux-unsubscribe@suse.com Um eine Liste aller verfuegbaren Kommandos zu bekommen, schicken Sie eine Mail an: suse-linux-help@suse.com