Kompakt træ for Peter Jürgensen Knutzen