Kompakt træ for Jens Petersen Ibsen