Как только город Равва был захвачен, что Давид сделал с людьми, жившими в городе?

Давид вывел всех жителей Раввы и заставил их работать пилами, железными молотилками и железными топорами; он также заставил их обжигать кирпичи.