Con la sua ultima medaglia al collo, Filippo Magnini annuncia il ritiro dal nuoto