Kompakt træ for Hans Johansen Hattest