Oh, who the heck cares. The guy is dead and he's not going to hurt you so get a life people. If you ban Hitler then ban Stalin and Mussolini and let's go back another thousand years and dig up those graves, too. Move on!