Kompakt træ for Otto Henrik Pedersen