Kompakt træ for Heinrich Rudolph Otto