I was under the impression that all audio Spotify serves is heavily DRM-ed and can only play with special hardware decoders which respect the DRM?

How did was this person able to play the encrypted audio? Does this not let them effectively rip music from Spotify?