These websites are known to have been using vsepd-idc01.lib-shibuya.tokyo.jp as their DNS nameserver.