Handout for seminar at Institute for Theor. C.S. Leibniz University Hannover