GIBRÄLTÄR den 2 ) juni.