Kompakt træ for Vagn Sejersen