Kompakt træ for Peter Kryhlmann