Kompakt træ for Hans Werner Ehlers