KORREKTUR/Nach DeSantis-Rückzug: Trump mottet Spitznamen ...
Nach DeSantis-Rückzug: Trump mottet Spitznamen ein