Kompakt træ for Paul Bahnsen