Yesterday evening there was an upgrade planned to the server to get the mirror connected to 10 Gbit fiber. That part was successful, unfortunately after a reboot the RAID controller failed to be recognized. This afternoon an attempt will be made to resolve it with a new RAID controller.
Update 17:00 CET -- the RAID unit was recovered. Downloads are serving again.