Anscheinend handelt es sich um ein Problem, das durch eine Firewall verursacht wird, die Port 11371 oder ähnliches blockiert. Auf jeden Fall habe ich hier einen Workaround gefunden .
gpg --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys E084DAB9 gpg -a --export E084DAB9 | sudo apt-key add -