Gibraltar den 7 Okt.