Kompakt træ for Lauritz Johansen