Kompakt træ for Jens Ludvig Henrik Pragst