Hm, do I need to delete the download manually then? Where do I find it?
When I attempted the update a second time it downloaded again, so I thought the previous download was anyhow deleted, but I don’t know. I am just a desperate end user.
— Update of the update —
Third attempt seemed to have worked. Thanks again!