whonix-14 update : tor+http:/...onion does no longer have a Release file.

[haaber]

I seem to make something wrong. Here is the output of a failed update.
Any hints?

root@host:~# apt-get-update-plus dist-upgrade
Hit:1 http://deb.qubes-os.org/r4.0/vm stretch InRelease
Hit:2 https://deb.whonix.org stretch InRelease
Hit:3 https://cdn-aws.deb.debian.org/debian-security stretch/updates
InRelease
Ign:4 https://cdn-aws.deb.debian.org/debian stretch InRelease
Hit:5 https://cdn-aws.deb.debian.org/debian stretch Release
Ign:7
tor+http://deb.dds6qkxpwdeubwucdiaord2xgbbeyds25rbsgr73tbfpqpt4a6vjwsyd.onion
stretch InRelease
Err:8
tor+http://deb.dds6qkxpwdeubwucdiaord2xgbbeyds25rbsgr73tbfpqpt4a6vjwsyd.onion
stretch Release
Connection failed
Reading package lists...
E: The repository
'tor+http://deb.dds6qkxpwdeubwucdiaord2xgbbeyds25rbsgr73tbfpqpt4a6vjwsyd.onion
stretch Release' does no longer have a Release file.

my whonix is (should be) a fresh post-APT-VULN install, installed
according to docs via salt. A quick look with torbrowser suggests that
dds6qkxpwdeubwucdiaord2xgbbeyds25rbsgr73tbfpqpt4a6vjwsyd.onion is indeed
down. How do I configure that better?

Bernhard