Gibraltar , den 15 Julli.