Shutdown-Ende wahrscheinlicher: US-Senat beschließt Haushalt