W. von Koch ’ s son,