N . von KOCH.