GIBRALTAR ( Höjden af ) den 16 Juli.