JUNG His Life and Work: A Biographical Memoir