Trauer um Box-Legende: Karl Mildenberger ist tot