Mario de Biasi 1923-2013