förlängning af oktrojtiden till utgången af 1893.