Looking up 2a01:72f:fff:ffff:ffff:ffff:ffff:ffff

Asking the registry. This usually takes a few seconds.