tjenstemannen fördes till Gibraltar der de försattes i frihet.