Kompakt træ for Ole Muus