Kompakt træ for Hans Jacob Daniel Davidsen