Nearly everything you will find in this repository was done by students during winter semester 2013 (see the Authors information in the lecture notes for details). During winter semester 2014 I ...