"Shutdown" der US-Regierung beendet