Kompakt træ for Johannes Friedrich Riedel