Gibraltar , var den 25 okt.