File:Diamond Mining - How are diamonds mined and formed? Documentary Film