August T h ö 1 n.