Anschlag auf Christopher Street Day in Berlin: Tatverdächtiger bei Polizeieinsatz erschossen