ingått , daterad Gibraltar den 13 Dec.