Kompakt træ for Johannes Dietrich Dohrmann