Kompakt træ for Wilhelm Gustav Kohn