[Yello] To the Sea remixes question

This entry: http://www.discogs.com/release/46692 claims that To The Sea (Planet Trax "Yello Dubmarine" Mix) and To The Sea (Aqualite Mix) are remixed by Doug Laurent. But this entry: http://www.discogs.com/release/365111 that these are mixes by Planet Trax (Jürgen Frosch) and Aqualite (Alfred Gregl, Torben Schmidt). So, which one is correct?