Guthmann, Borel vs Dietz, Holger