The Nine Lives of Mike Todd. A biography. With portraits