Gibraltar , den 7.