I’m sure many a decent person has thought to themselves at one point, “Too bad Hitler didn’t finish them off.”
I don’t know about that, but I’m sure that many now hate gypsies, after their horrible experiences with them.