Paul Deussen, a German philosopher.