Kompakt træ for Peter Redlefsen