DAX® (Performance Index) put (Basispreis 13000)

WKN GD9SRG ISIN DE000GD9SRG2