Documentos historicos Historische Dokumente (Servicio informativo español, 1969)