On the Distribution of the Wave Function for Systems in Thermal Equilibrium