Don't use apt-key, it's deprecated.

Inspired by
https://michael-prokop.at/blog/2021/02/16/how-to-properly-use-3rd-party-debian-repository-signing-keys-with-apt/
and https://wiki.debian.org/DebianRepository/UseThirdParty. Also use the
newer deb822 sources format.