Kompakt træ for Ole Svendsen