Vermutlich wegen eines Hardwaredefekts ist einer der AFS-Fileserver (fileserv4) seit dem 17.1. gegen 20:30 ausgefallen. Wir arbeiten an dem Problem, 18.1.2002, Christiane Sturm