Holst , H . P . , professor.