Washington (dpa) - Nach wochenlangem Tauziehen haben Demokraten und Republikaner im US-Senat den Haushaltsstreit beigelegt. Der Senat stimmte am frühen Dienstagmorgen einem Kompromiss zu.