Diamond miner De Beers's rough diamond production increased by 17% year-on-year to 7.1-million carats for the quarter ended ...