Gott sei Dank hat Elon Musk Twitter gekauft.