Yup, that's what they sang. Actually, it's not a bad compromise since the literal translation of the German doesn't work.