samsung’s printer business was acquiredextinguished by the devilhp in 2017