Adolf Hitler’s failure to take Gibraltar in 1940 lost him the Second World War. But in truth the formidable Rock, jutting between the Mediterranean and the Atlantic, was extraordinarily vulnerable. Every day, ten thousand people crossed its frontier to work, spy, sabotage or escape. It was
