to put the size of the potential mine into perspective in the diamond industry , there are only five diamond mines in the world which produce at more than 3m carats a year and between them these major operations account for about 75 per cent of gem diamonds production . '