Kompakt træ for Martinus Mortensen