Kompakt træ for Johann Carl Eduard Devantier