Kompakt træ for Peter Ludvig Ibsen