Norges hela industriella produktionssumma uppgick tiil omkring en fjärdedel af vår.