JUST IN: Der Senat erzielt eine Einigung zur Beendigung der US-Regierungsschließung