El Escorial : the monastery and the prince's and infant's little houses : tourist guide / text and notes by Matilde Lopez Serrano.