Oslo Børs stengte også tirsdag til nye toppnivåer. Det er tredje dagen på en uke at Hovedindeksen slår sin egen rekord.