[tor-relays] PGP-Key for Debian Repo

Hi,

I'm not able to fetch the pgp key for the debian repo, as described here: https://www.torproject.org/docs/debian.html.en

$ gpg --keyserver keys.gnupg.net --recv 886DDD89 gpg: requesting key 886DDD89 from hkp server keys.gnupg.net ?: keys.gnupg.net: Host not found gpgkeys: HTTP fetch error 7: couldn't connect: Success gpg: no valid OpenPGP data found. gpg: Total number processed: 0

Is there a problem on my side? Could anyone check this and give me feedback please?

Regards, Sven.