I don't think it's antisemitism, at least obviously not in the sense where a stereotype might be. But the wink-wink, we're-so-witty, did-you-see-what-we-did-there quality of the thing ends up downplaying the horror of the Shoah.
I have no doubt they weren't thinking, but they used the words "the final solution", and I judge them for not weighting that use.