Emittente: ‘KONINKLIJKE DUTCH STATE MINES’