If the choice was between Eichmann and Mengele, they acted correctly. Plus, it's wonderful that the bastard drowned the very year I was busy being born. It makes me smile.