i detta afseende afslutade i Gibraltar.