וַֽיִּתְּנֵ֛הוּ יְהוָ֥ה אֱלֹהֵ֖ינוּ לְפָנֵ֑ינוּ וַנַּ֥ךְ אֹת֛וֹ וְאֶת־בנו [בָּנָ֖יו] וְאֶת־כָּל־עַמּֽוֹ׃
Und der HERR, unser Gott, hat ihn vor uns befreit; und wir schlugen ihn und seine Söhne und sein ganzes Volk.
Targum Jonathan on Deuteronomy
And the Lord our God delivered him up before us, and we smote him, and his children, and all his people.