Gibraltar dea 4 Okt.