Bei einem Amoklauf in einem Einkaufszentrum in Texas hat ein Mann acht Menschen getötet. Nach Behördenangaben erschoss ein Polizist, der zufällig vor Ort war, den mutmaßlichen Täter.