Der militärische Einsatz zur Befreiung der Geisel in der algerischen Gasanlage In Amenas an der Grenze zu Lybien ist blutig zu Ende gegangen.