Adiós a la verja de Gibraltar: ¿a qué renuncia España?