Bei dem blutigen Polizeieinsatz in der brasilianischen Küstenmetropole Rio de Janeiro sind mindestens 132 Menschen ums Leben gekommen. Das teilte die unabhängige Ombudsstelle des Bundesstaats Rio de Janeiro mit.