att norska jernvägen från Kristiania skall framdragas till riksgränsen,