SS 2026: ANT4 - Global Class Field Theory
WS 2024-2025: Pro-étale cohomology