Gibraltar , blef den 19 Juli,