Opentext will Micro Focus kaufen