The arithmetic mean of a set of measurements each weighted according to the inverse of its variance.
The variance of the weighted mean is equal to the inverse of the sum of the individual variances.