I går (26. oktober) var det en betydelig nedgang på Oslo Børs, i