Boltzmann's probability distribution of 1877