Kompakt træ for Otto Andreas Svendsen