Text this: Eduard von Hartmann,