Variance estimation of the Gini index: revisiting a result several times published. (28th June 2012)