Kompakt træ for Johannes Seifert