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.