This might be a temporary problem with the DNS server that you are using to resolve hostnames or might be something local. If your problem hasn't fixed itself (it happens), then we need some more...