Kompakt træ for Edvard Diderik Ehlers