Update, November 2, 2020:
The /work directory is available again. Note that the mechanism that deletes expired workspaces will be activated again on Thursday. Workspaces that expired in the meantime will be deleted again after that.
Original message:
Dear cluster users,
due to a technical problem with the storage server the /work directory and therefore all workspaces are currently unavailable. We are working to fix the problem and will notify you as soon as it is fixed.
Best regards
Your HPC Team