Bereits über 4.000 US-Bundesbedienstete wegen Shutdowns entlassen