Gibraltar , den 4 Julii.