﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>DV - EUREX Indices VSTOXX MINI</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 2016</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF16</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG16</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH16</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ16</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK16</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM16</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN16</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ16</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU16</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV16</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX16</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ16</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2016</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2017</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF17</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG17</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH17</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ17</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK17</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM17</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN17</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ17</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU17</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV17</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX17</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ17</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2017</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2018</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF18</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG18</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH18</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ18</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK18</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM18</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN18</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ18</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU18</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV18</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX18</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ18</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2018</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2019</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF19</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG19</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH19</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ19</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK19</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM19</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN19</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ19</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU19</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV19</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX19</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ19</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2019</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2020</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF20</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG20</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH20</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ20</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK20</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM20</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN20</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ20</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU20</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV20</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX20</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ20</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2020</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2021</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF21</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG21</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH21</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ21</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK21</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM21</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN21</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ21</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU21</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV21</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX21</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ21</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2021</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2022</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF22</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG22</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH22</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ22</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK22</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM22</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN22</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ22</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU22</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV22</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX22</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ22</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2022</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2023</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF23</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG23</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH23</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ23</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK23</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM23</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN23</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ23</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU23</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV23</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX23</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ23</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2023</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2024</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF24</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG24</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH24</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ24</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK24</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM24</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN24</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ24</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU24</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV24</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX24</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ24</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2024</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2025</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF25</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG25</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH25</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ25</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK25</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM25</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN25</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ25</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU25</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV25</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX25</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ25</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2025</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2026</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF26</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG26</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH26</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ26</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK26</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM26</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN26</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ26</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU26</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV26</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX26</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ26</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2026</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2027</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF27</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG27</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH27</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ27</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK27</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM27</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN27</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ27</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU27</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV27</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX27</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ27</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2027</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2028</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF28</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG28</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH28</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ28</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK28</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM28</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN28</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ28</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU28</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV28</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX28</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ28</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2028</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2029</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF29</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG29</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH29</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ29</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK29</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM29</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN29</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ29</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU29</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV29</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX29</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ29</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2029</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2030</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF30</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG30</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH30</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ30</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK30</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM30</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN30</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ30</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU30</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV30</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX30</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ30</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2030</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2031</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF31</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG31</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH31</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ31</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK31</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM31</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN31</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ31</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU31</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV31</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX31</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ31</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2031</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2032</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF32</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG32</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH32</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ32</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK32</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM32</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN32</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ32</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU32</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV32</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX32</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ32</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2032</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2033</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF33</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG33</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH33</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ33</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK33</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM33</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN33</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ33</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU33</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV33</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX33</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ33</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2033</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2034</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF34</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG34</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH34</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ34</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK34</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM34</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN34</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ34</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU34</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV34</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX34</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ34</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2034</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2035</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF35</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG35</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH35</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ35</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK35</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM35</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN35</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ35</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU35</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV35</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX35</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ35</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2035</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2036</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF36</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG36</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH36</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ36</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK36</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM36</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN36</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ36</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU36</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV36</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX36</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ36</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2036</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2037</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF37</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG37</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH37</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ37</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK37</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM37</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN37</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ37</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU37</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV37</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX37</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ37</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2037</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2038</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF38</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG38</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH38</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ38</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK38</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM38</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN38</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ38</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU38</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV38</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX38</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ38</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2038</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2039</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF39</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG39</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH39</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ39</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK39</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM39</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN39</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ39</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU39</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV39</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX39</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ39</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2039</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2040</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF40</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG40</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH40</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ40</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK40</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM40</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN40</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ40</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU40</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV40</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX40</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ40</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2040</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2041</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF41</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG41</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH41</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ41</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK41</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM41</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN41</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ41</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU41</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV41</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX41</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ41</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2041</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2042</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF42</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG42</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH42</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ42</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK42</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM42</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN42</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ42</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU42</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV42</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX42</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ42</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2042</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2043</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF43</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG43</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH43</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ43</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK43</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM43</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN43</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ43</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU43</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV43</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX43</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ43</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2043</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2044</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF44</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG44</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH44</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ44</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK44</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM44</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN44</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ44</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU44</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV44</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX44</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ44</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2044</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2045</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF45</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG45</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH45</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ45</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK45</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM45</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN45</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ45</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU45</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV45</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX45</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ45</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2045</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2046</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF46</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG46</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH46</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ46</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK46</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM46</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN46</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ46</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU46</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV46</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX46</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ46</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2046</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2047</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF47</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG47</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH47</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ47</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK47</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM47</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN47</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ47</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU47</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV47</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX47</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ47</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2047</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2048</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF48</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG48</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH48</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ48</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK48</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM48</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN48</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ48</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU48</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV48</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX48</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ48</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2048</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2049</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF49</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG49</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH49</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ49</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK49</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM49</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN49</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ49</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU49</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV49</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX49</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ49</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2049</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 2050</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF50</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG50</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH50</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ50</Name>
          <Description>EUREX Indices VSTOXX MINI APR 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK50</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM50</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN50</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ50</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU50</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV50</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX50</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ50</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 2050</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
  </Categories>
</Portfolio>