I “resolved” the matter for me
– by getting old yet recently working the-events-calendar-3.8 from github
– manually extracting it to the wp-content/plugins/ -folder
– unpacking it and renaming the resulting folder to the-events-calendar
Now I’m back to normal and can work, though the situation is not nice and could use some “proper resolving”