EU gibt grünes Licht für Übernahme von Github durch Microsoft