mellan sistnämnda stationer och Kristiania är 12,6 norska mil.