diamantindustrie. geschiedenis