Emittente: ‘NEDERLANDESE GASUNIE’