Rohstoffe (17.00) - US-Ölpreis fester bei 54,25 Dollar