Der file server fileserv3 muss leider wegen eines nicht mehr funktionsfaehigen Dienstes am 4.11.2003 gegen 5 Uhr neu gestartet werden. Fuer ca. 2 Stunden wird der Zugriff auf NFS- und AFS-Verzeichnisse, auch auf (Smail-)Benutzer- verzeichnisse gestoert sein. 03.11.2003, Christiane Sturm