I tried your method, but after I hid the update and searched for updates for the second time, it didn't find any new update available (the first time it found two updates that were successfully installed).
When I restored the faulty update, I got the very same error message again after trying to install it once more.
Anyway, thanks for your help.