Kompakt træ for Johann Jacob Devantier