Kompakt træ for Hans Peter Harder