US-Präsident Donald Trump entlässt 4.000 Bundesbeamten.