Kompakt træ for Arthur Julius Robert HOFMANN