den 9 Juli örn aftonen till Gibraltar.