Whatever happened to the diamond that went missing after the Formula 1 car it was attached to crashed?

Source: Whatever happened to the diamond that went missing in F1 crash?