Wirtschaftstheoretisches Seminar: Computational Social Choice