Moved to https://courses.ite.inf.ethz.ch/theo_inf_20/.