Kompakt træ for Klaus Henrik Dvinge