An interesting difference between Hitler and bin Laden is that after Hitler, the name Adolf/Adolph all but disappeared. Anyone stuck with that name once Hitler died usually changed it to Dolf or used his middle name. Since 9/11, people in some places have been proud of bin Laden's name or decided deliberately to name their children Osama.