US-Präsident Trump wurde aus dem Spital entlassen.