Here, a technically challenging spectroscopic experiment is described: the measurement of the muonic Lamb shift. The results lead to a new determination of the charge radius of the proton. The new value is 5.0 standard deviations smaller than the previous world average, a large discrepancy that rem…