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 remains unexplained. Possible implications of the new finding are that the value of the Rydberg constant will need to be revised, or that the validity of quantum electrodynamics theory is called into question.