Groot onderhoud aardgasleidingnetwerk op zee | Nederlandse Aardolie Maatschappij