Gibraltar , den 9 Juni.