Elbúcsúzott Elon Musk az amerikai kormány költségcsökkentő minisztériumától: mit hozott az öt hónap?