Nvidia übernimmt Berichten zufolge Hugging Face für 12,9 Milliarden US-Dollar