German rescue boat with 800 migrants reaches Sicilian port