Что Давид сделал с людьми, жившими в городе, после захвата Раввы?

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