Thanks for that hint. Well, I did also some research here on the forum and it seems that others have the same difficulties with getting the update done on php7 (or a similar setup).
Well, I did modify the updater.php in lib/private as described Here. That did the job perfectly.