Looking up 2001:df5:4000:ffff:ffff:ffff:ffff:ffff

Asking the registry. This usually takes a few seconds.