den 12 juni passerat Gibraltar.