längd utgör , med inräkning af banstumpen borta wid norska gränsen , 100 , , mil.