Kompakt træ for Franz Robert Otto Ehricht