af Gibraltar den 3 d:ö.