Downtime of Alex on Jan 27 due to short-term maintenance of /anvme – FINISHED

Due to a hardware failure, the /anvme partition on Alex requires urgent maintenance on January 27. Therefore, the Alex cluster will be unavailable between 10 a.m. and 3 p.m. on that day.

UPDATE 17:20 – several workspaces have been unaccessible until now; sorry for that