Kompakt træ for Martin Christian Martinsen