proklamationen utfärdades af Kommendanten i Gibraltar den 24 November.