Micosoft will buy video game maker ZeniMax for $7.5 billion