Kompakt træ for Otto Carl Christian Hartz