Looking up 93.94.72.15

Asking the registry. This usually takes a few seconds.