Kompakt træ for Jørgen Peter Michelsen