Der deutsche Leitindex steigt in der Spitze um 0,5 Prozent auf einen Rekordstand. Der US-Angriff auf Venezuela lässt auf billiges Öl hoffen.