Kompakt træ for John Andreas Jonasen