Kompakt træ for Hans Nicolai Julius Ehlers