Oljeservicejätten PGS, tidigare Petroleum Geo-Services, rasar med nästan 15 procent på Oslobörsen och sänker OBX25-