Ernesto Ruffini 1888-1967