OT: De Beers Does anyone know whether De Beers has a common stock on the market, and if so, where it is traded. Thanks.