— Gibraltar den 10 okt.