Am 09.11.2020 um 14:45 schrieb Periklis Gogas:
Thank you Sven!
The version is 2019d, 22-12-2019, that I am currently using.
Well then I guess the natural question is if you can try either the
latest released version 2020d or a current snapshot.
cheers
sven