(balancierter Berechnungsbaum, Tiefe anhängig von Prozessoren, nicht von Eingabe)
(jedes fold über einen assoziativen Operator)