Der Deutsche Aktienindex steht so hoch wie noch nie. Eine Rolle dabei spielen Rüstungsaktien, die nach dem US-Angriff auf Venezuela deutlich gestiegen sind.