Who recorded the version of "Ode to Joy" playing on the Die Hard previews?

I used to have a CD with this version (the version with a choir accompaniment).

There are several choral versions on itunes, but I can’t seem to find this one.

Anyone know the orchestra/choir name?