The problem is solved since 15 minutes. All is up again. Thank you for your patience if you had to suffer from it.
One of our server centers (init7) is down for unknown reasons yet. The people of the server center are already working on it and we hope we are up again in no time.