— ■ Gibraltar den 1 Augusti.