norska gränsen är icke större än högst tre och en half mil , och enligtuppgjordt