Kompakt træ for Peder Lorenzen Mamsen