Det är ingalunda några småsummor Norge offrat på sitt fasta försvar sedan midten af 1890 talet.