Kompakt træ for Peter Jürgensen Köcks