Der deutsche Leitindex springt gleich nach Handelsbeginn auf einen Rekordstand. Der US-Angriff auf Venezuela lässt auf billiges Öl hoffen.