Información del Holyland Tunnel de la 2ª guerra mundial, Gibraltar