The EpiExplorer server moved to a nicer domain: <a href='http://epiexplorer.mpi-inf.mpg.de'>http://epiexplorer.mpi-inf.mpg.de</a>