Kompakt træ for Hans Peter Gregersen