Here's some more info on that mixmag edit:
http://www.kompaktkiste.de/mixmag2.htm#mixmag9807
http://www.discogs.com/release/76270
My guess is that it's just a fade-out of the original track. If you fade out your volume at the 7:34 mark while playing it back, it sounds pretty natural. I generally don't sweat the fade-out edits, but some people like to be complete.