Då de framkommit dit,