Kompakt træ for Johannes Lavridsen