Let's just appreciate for a moment how great of a choice Ode to Joy is for the European Anthem. It's a very memorable tune which honestly kind of slaps in a way that few anthems do.
Still not as great as La Marseillaise (which is not even a song, but a war chant meant to be hollered), but one of the best anthems out there nonetheless.
The Pete Seeger version that I've often heard sometimes called Ode to Joy/Russian Song has fantastic lyrics. Not speaking German, I'm wondering if these folks are singing the same translation?