(fixed) Decreased platform performance

We are currently experiencing degraded performance on the platform resulting in a slower interface and occasional actions failing. We are working on fixing the problem.

The problem has been resolved and from 12:07 (Amsterdam time) onwards, performance has been back on track.