US-Haushaltsstreit vorerst beendet: Präsident Trump einigt sich mit Kongress