Compact tree of Ernst Mach