Kompakt træ for Hans Nicolai Andreas Ehlers