Norges hela industriella produktionseumma uppgick till omkring en fjärdedel af vår.