Messiah, HWV 56: No. 25 Chorus: And With His Stripes We Are Healed