location.replace("https://quest.mpi-inf.mpg.de")