Kompakt træ for Poul Peder Dideriksen