Nach Hochhaus-Einsturz in Florida: Suche nach Überlebenden wird eingestellt