Server maintenance on 'mag1' (COMPLETED)

We are currently experiencing a disruption in service due to a maintenance procedure currently taking place on our 'mag1' server. Our server administrators are working on it, and the problems should be solved shortly.

We are sorry for the inconvenience, and thank you for your understanding.

UPDATE: The maintenance procedure has been completed, and the server is back to normal operation.