No servers were down. Domain's DNS servers were changed, this lead to temporary DNS resolving problems in some areas, until new server names are updated everywhere. Currently we tested server access from different locations and there are no problems detected.