Kompakt træ for Knud Riggelsen