bygdå kyrkan , som han egnade åt jungfru Maria , hvilken då ännu lefde i Jerusalem , fullbordades af S:t Ildefonso , åt hvilken den hel.