Military history of Gibraltar during World War II: Operation Felix, Operation Torch, James Somerville,Force H,Attack on Mers-el-Kébir, Lioré et ... Großdeutschland, Ludwig Kübler, Adolf Hitler