Großeinsatz in Ceuta: Behörden räumen Strand mit rund 4.000 Migranten