Kompakt træ for Johann Gottlob Thomas