Feb 23: database hickups

[thomas]

Dear members, we are currently experiencing some database-related issues, you might already have received a few database error messages. One of our databases has grown too large, we therefore need to truncate a few million lines. I apologise for the inconvenience and thank you for your patience and understanding!