Pantelleria, der See.