Lecture notes to be distributed during the first lecture.
Last modified on August 26th, 2025 by Tobias K. S. Ritschel