We have been experiencing temporary technical difficulties today since this morning (~ 3:00 AM CET)
Some jobs may have failed as a result.
We're working on resolving the problem and will update here with further information when we have it.
Thank you for your understanding.
Update 14:00 CET, October 22, 2017: All systems have returned to normal operations and all jobs are now being processed normally.