Emittente: ‘NEDERLANDSE GASUNIE’