Kompakt træ for Peter Bernhard Holmgren