Das Problem tritt offenbar nicht immer auf. Bei mir hat das Update unter Win7 x64 vorhin ohne Probleme funktioniert. Aber das schreibt heise ja auch.

P.S.: Ein Link in einem Leserkommentar dort führte mich letzten Endes auf eine Internet-Seite, wo jemand beschrieb, dass die Symptome dieses Problems nur bei der Suche nach Updates auftreten. Streng genommen weiß ich also erst in einem Monat, ob es nicht vielleicht doch irgendwo "klemmt".

Hach nee, wat is' datt doch geil mit all die Appdäjts, ne!