Seit ca. 15:30 ist ein Plattenbereich eines unserer Fileserver (fileserv2), auf dem Benutzerverzeichnisse liegen (Servernutzer und Smailnutzer), ausge- fallen. Mit einer Problembehebung vor Montag ist leider nicht zu rechnen. 12.5.0, C. Sturm