2012-12-30 at 03:42 I got the message that a RAID set on one file server is degraded. I stopped the batch system because the situation is unclear at the moment. However, no jobs are waiting at the moment. An investigation of the situation will happen during Sunday.