Kompakt træ for Johann Peter Frederichsen