Trotz scharfer Sicherheitsvorkehrungen war es zu dem Anschlag in Garland, Texas gekommen. Polizisten haben die zwei getöten Angreifer noch nicht identifiziert. Im Netz prahlen Dschihadisten mit der Tat.