Hitler wasn't that bad