No type or individual with this identifier: #August_Wilhelm_von_Hoffmann