Edificios al pie de la cara norte del peñón, Gibraltar