DNS server problems

We currently are experiencing  a problem with one of our DNS server. We are working on fixing the problem.

Update: the problem is now resolved.