Kompakt træ for Hans Jørgen Karstensen