Kompakt træ for Franz Devantier