Ingen rekord på Oslo Børs mandag – PGS den store vinneren