Mindestens 17 tote Migranten im Mittelmeer - 4.200 Gerettete