Trauer um ehem. Boxweltmeister: Graciano "Rocky" Rocchigiani ist tot