S:t Ildefonso den 16 ^lug.