Kompakt træ for Friedrich John Otto