Das deutsche KI-Unternehmen wurde für 955 Millionen US-Dollar verkauft.