Kompakt træ for Hans Friedrich Peter Pröwig