Translated from Italian.