Trauer in der Tech-Welt um Samsung-Co-CEO Han Jong-hee.