Gibraltar en el pasado (Documentos históricos (SIE), 1965)