These websites are known to have been using cyberspace.mars.orderbox-dns.com as their DNS nameserver.