La batería más grande de los túneles defensivos del peñón, Gibraltar