Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations. Stockholm University, Sweden 2024