Kompakt træ for Hans Henrik Anton Plum