Kompakt træ for Steffen Antonsen Kristensen