Hi alexal,
thank you for your suggestion! Unfortunately, the link you sent me references a package of an older Debian version (8.x), whereas the current version is 10.
Therefore it is not advisable to install the complete package.
We will try to install one after the other each requested library, and check, whether the operation system keeps to be stable.
Anyway, thank you for your help!
Best regards,
Peter