riksgränsen vid Magnor , att utgå , derest norsl a staten anvisar medel till liniens framdragande från riksgränsen till Kristiania;