von Duben , G . W. , frih . , professor.