Anti-Terror-Einsatz bei Paris beendet