Looking up 2a13:ef07:ffff:ffff:ffff:ffff:ffff:ffff

Asking the registry. This usually takes a few seconds.