changed environment names from german to english + separated lemma and definition counter from term counter
removed qed from proof environment
added content of lecture 2 until implementation of graphs
finished lecture 2