Kompakt træ for Hans Johann Hardt