St. Ildefonse , den rz Aug.