Considering how close they are to the original songs, I'm gonna take a wild guess and say.....midi files.

Styles&Music GmbH to be exact.

http://d-o-o.de/

I don't know for sure, I'm just guessing.

-mike