Gibraltar was not included in the post-Brexit trade deal negotiated between the UK and the EU more than five years ago ...