Beeing checked if we can switch in general to deb.debian.org for it to not have to switch forth an back one the nearest mirror goes away.
mentioned in commit 8e1c82e0