lectures for ws 2013