Archivmaterialien zu Julián Marías, 1914-2005 - Marías, Julián