Final version for winter semester of 2012/2013