Martin: Translated from the German By D.J.S. Thomson: Hurlimann