Solved: File-Server

Message-Id: 2017011201037
Time: January 20th, 2017, since 10:20 a.m.
Affected: some users
Impact: failure solved

The problems with the File-Server from earlier today have been solved.