Oslo Børs sank marginalt tirsdag