Kompakt træ for Theodor Mamsen