The key 04EF2F666D36C354058B9DD450C78B6F9FF2EC85 listed in this article on the whonix website:
doesn’t match the key with the same key id on public keyservers like the following:
You can compare them with the following online tool to see the difference:
Just paste the one from the whonix website in the left field and the one from the keyserer in the right field and press the compute diff button.
Only the beginning and the end is he same. The middle isn’t the same, the key doesn’t match with the other one.
Maybe the key available on the whonix website is an old one.