Gibraltar den » %■ Maij.