Kompakt træ for Hans Hinrich Boisen