OKI zkracuje název značky své tiskové divize