That is correct, I did not read this before.
Like always, I have just made the upgrade via the webgui...
By the way, the repository is missing in all my other proxmox systems (with a different minor version) , but the upgrade was successful.
If I add this, the result is the same:
apt-get...