Arbeitstagung 2023 on Condensed Mathematics