Kompakt træ for Jürgen Zacharias Hartmann