On Gauss' characterization of the normal distribution