Notes of the Lecture Formale System WS2014/15 in teX