Kompakt træ for Johann Peter Horst