Winter term 2025, University of Regensburg
This course is now at bastiaancnossen.com/teaching/lie-groups-2025.