Permanently moved to https://people.inf.ethz.ch/dkomm.