Bei einem Polizei-Einsatz in einem Armenviertel der brasilianischen Metropole Rio de Janeiro sind mindestens 20 Menschen ums Leben gekommen. Dies berichteten brasilianische Medien wie die Zeitung «Folha de S. Paulo» am Dienstag. Zehn der Toten waren der Polizei zufolge, auf die sich etwa das Nachrichtenportal «G1» berief, Kriminelle. Demnach wurde zudem eine Bewohnerin von Vila Cruzeiro versehentlich von einer Kugel getroffen. Mindestens zwei weitere Personen wurden verletzt und ins Krankenhaus gebracht. Augenzeugen zufolge war es in dem Armenviertel im Norden Rios zu heftigen Schusswechseln g…