Brasilianer tötete 71 Menschen, jetzt wurde er selbst erschossen. Sie nannten ihn „Killer-Peterchen“