Gibraltar ben 25 Okt.