Kompakt træ for Hans Viggo Frederiksen