The file download service was down between 06:08 and 07:10 CEST following a node storage issue. The issue has been resolved and the service is back online.

Download server is currently down. We are expecting it to be online again within 30 minutes.