US-ISM-Index für nicht-produzierende Auftragseingänge steigt im Mai auf 57,3, plus 3,8 Punkte