Ein Konkurrent weniger für Trump: DeSantis gibt im Vorwahlkampf auf