As it's impossible for apt or update-manager to work around truly broken proxies, I'm closing this bug.
As it's impossible for apt or update-manager to work around truly broken proxies, I'm closing this bug.