Kompakt træ for Johann Jobst Hoffmann