Kompakt træ for Johann Georg Friedrich Prochnan