I l nostro Redentore, il cui nome è l'Eterno degli eserciti, è il Santo d'Israele.
Nuestro Redentor, el Señor de los ejércitos es su nombre, el Santo de Israel.