Kompakt træ for Heinrich Ludvig August Dohrmann