"Hofmann, Heinrich. "