skall likaledes hållas en högtidlig tacksägelsegndstjenst för konung Alfonsos räddning.