Kompakt træ for Hans Henrik Davidsen