Die Regierung von US-Präsident Donald Trump hat einen Ausgabenstopp in Milliardenhöhe. Nun greift das Bundesgericht ein.