Neither LD has Dolby Digital it seems. You can see the back of the U.S laserdisc here.
The movie poster only shows DTS, (and DTS stereo) so it might be one of those releases that had no Dolby Digital theatrical mix at all. Non DTS theaters would have played it in DTS Stereo, which was Dolby surround compatible.
I guess LDDB is wrong about the US laserdisc. In any case, you’re right - there was no Dolby Digital theatrical mix, only DTS.
Progress update: I have successfully converted the DTS files to seperate mono WAVs for each channel. Slow and steady…!