Gibraltar , den 20 Maji.