Kompakt træ for Friedrich Peter Michelsen