Kompakt træ for Hans Petersen Kelsen