Just a follow up, it turned out to be a file permission problem with Jackson. Though all sound libraries were installed properly, a big part did not have appropriate file permissions. So we took the radical way, i.e. delete everything underneath C:\ProgramData\Steinberg\Contents. After a reinstall of all sound libraries everything was back to normal operation.