​Thanks, Martin. I successfully downgraded all packages to versions from the time of the last successful upgrade (from /var/log/apt/history.log). So, problem solved. And the user is now a better user :-)
Looking forward to Plasma 5.13. Cheers, Marco
