La real biblioteca de el escorial y sus manuscritos arabes. sinopsis histórico-descriptiva. segunda edición