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!
1 day is too short!
Covering all the material requires at least two full days (and even then, time for exercises might be too limited).