Kompakt træ for Hans Friedrich Lorenz Lorenzen