Published Paper Inserted: 24 apr 2023 Last Updated: 7 oct 2024 Journal: J. Eur. Math. Soc. Year: 2024 Doi: DOI 10.4171/JEMS/1435