Kompakt træ for Peder Holdensen