ingått af Gibraltar den 9 d:S.