Kompakt træ for Hans Peter Tostrup