El desastre infligido a Gibraltar fue tan grande que la ciudad nunca más llegó a recuperarse de semejante ataque.