Die Suche nach dem vermissten Amerikaner Devine wurde eingestellt