Gibraltar den 20 okt.