daterad Gibraltar den 9Juni