This are notes taken after delivering the course at University of Bern on June 8, 2017.
If you attended the course, please add your own comments and suggestions!
Covering all the material requires at least two full days (and even then, time for exercises might be too limited).