TCS2 lecture notes (WS 2013/14, Klinz)