US-Budgetstreit: Kompromiss über 1,2 Mrd. Dollar für Grenze