Nedgang på Oslo Børs etter fleire dagar med rekordnoteringar