Learning with Lean heftetEngelsk, 2013