Accepted Paper Inserted: 24 apr 2023 Last Updated: 30 jun 2023 Journal: J. Eur. Math. Soc. Year: 2021