Mondiali tuffi: Giovanni Tocci in finale, eliminato Marsaglia