The Brexit negotiations were getting boring – we needed a battle over Gibraltar to spice things up