20010727 business.international-business: EC launches antitrust proceedings against De Beers