Thank You!
The manual-upgrade-way was what I did in the past, but the Updater works for me.
(…but now, as I look closer into it, it seems, that the Updater updates OC Core but not installed Apps,
what, as far as I understood, would be the Case when doing a manual Update).