Gibraltar d:n 9 Febr.