hofiDtendenten A . Kumlien , professor F G.