Rohstoffe (17.00) - US-Ölpreis legt 0,40 Prozent zu