GIBRALTAR ( höjden af ) den 12 Juni.