och tnlltjenstemännen fördes derpå till Gibraltar , hvarest de frigåfvos.