Kompakt træ for Diderik den Lykkelige