Kompakt træ for Peter Gjerluf Knudsen