Kompakt træ for Otto Friedrich Lorentzen