Musk beendet Tätigkeit für US-Regierungsabteilung