https://9dok.net/document/q2np5826-mechanism-design-social-choice-winter-term-preliminary-syllabus.html