are there known problems with the official subversion repository for A2 at https://cas.inf.ethz.ch/projects/a2/repository or did it move again to a new place/infrastructure? I am not able to reach it. -- Bernhard