trying to verify signature of electrum, but i get a error when Obtaining public GPG key for ThomasV

keys.gnupg.net: host not found   ...
Are we under attack ??