Kompakt træ for Hans Jürgen Wismar