17:00 CET, 15th October, Service back to "normal".
I believe we have finally resolved various issues asof about 16:00 today. Apologies for the downtime. Eric.

More...