Kompakt træ for Christian Friedrich Ludwig Martiens