Brexit and the thorny question of Gibraltar: an agreement finally found - comments