R . von Koch.