Heute nacht gegen 4 Uhr 40 ist der AFS-Server fileserv4 ausgefallen. Einige (wenige) AFS-Volumes sind dadurch nicht erreichbar. Wir arbeiten an der Behebung des Problems. 20.12.2000, C. Sturm