Google und Microsoft beenden Patentstreit