Kompakt træ for Otto Emil Devantier