Oslo Børs med rekorddag: Hovedindeksen endte over 1.000 poeng