Summer term 2025, University of Regensburg
This course is now at bastiaancnossen.com/teaching/higher-algebra-2025.