UPDATE: Maintenance done. /big usable again.

The Filesystem of /big needs maintaining. To this end the filesystem will be unavailable from Thu. 14.04.22 18:00 till the end of the maintenance.

To prevent loss of data please stop all computing jobs that use /big before the maintenace. Very important data should be saved on different filesystems.