Boltzmann's entropy