Kompakt træ for Jens Jørgensen Hofsch