Kompakt træ for Hans Ketelsen