גֹּאֲלֵ֕נוּ יְהוָ֥ה צְבָא֖וֹת שְׁמ֑וֹ קְד֖וֹשׁ יִשְׂרָאֵֽל׃
Nuestro Redentor, SEÑOR de los ejércitos es su nombre, el Santo de Israel.
Rashi on Isaiah
Our redeemer, the Lord of Hosts is His name The prophet states: All this the Lord of Hosts does, to redeem us from there.
Ibn Ezra on Isaiah
Our redeemer, etc. Then the Israelites will say, this is our redeemer, etc.