Nameserver problems

At the moment one of our nameservers is not running (ns3.eu.editdns.net) anymore. EditDNS has a DDoS attack against two of their servers which should be fixed in the next hours. This leads to the result that some downloads and uploads do not work at the first time. So please try it several times.