Cinco años después de que el Brexit dejara a Gibraltar en una especie de limbo legal en Europa, finalmente se ha alcanzado un acuerdo sobre su estatus.