Kompakt træ for Johann Peter Thumann