Following a corruption problem on our DNS servers, the service was temporarily unavailable for about 20 minutes. We are obviously sorry for the inconvenience and are right now taking all the necessary measures to make sure this does not happen again.