Yeah!
Thanks a lot for this link to the upgrade procedure.
It took me about 2 hours but the site is back online and the editor works normally now. It also gave me good insight in how WordPress interacts with the database. I learned something.
Thank you kmessinger, respect.
Martin