publications.asl.ethz.ch is not served (anymore)

Iff this seems wrong please contact: