Win-probabilities for comparing two Weibull distributions. Issue 1 (2nd January 2017)