Talk at the Conference on Arithmetic Algebraic Geometry, Darmstadt, October 2022
05_Tuesday_Scholze.mp4