Kompakt træ for Ludwig Eduard Schirmann