﻿<?xml version="1.0" encoding="UTF-8"?>
<Portfolio>
  <Name>DV - EUREX Indices VSTOXX MINI</Name>
  <Categories>
    <PortfolioCategory>
      <Name>Year 20X0</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF0</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG0</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH0</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ0</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK0</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM0</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN0</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ0</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU0</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV0</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX0</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ0</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X0</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X1</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF1</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG1</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH1</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ1</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK1</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM1</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN1</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ1</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU1</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV1</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX1</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ1</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X1</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X2</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF2</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG2</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH2</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ2</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK2</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM2</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN2</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ2</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU2</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV2</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX2</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ2</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X2</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X3</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF3</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG3</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH3</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ3</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK3</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM3</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN3</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ3</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU3</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV3</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX3</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ3</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X3</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X4</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF4</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG4</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH4</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ4</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK4</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM4</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN4</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ4</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU4</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV4</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX4</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ4</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X4</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X5</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF5</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG5</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH5</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ5</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK5</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM5</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN5</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ5</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU5</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV5</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX5</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ5</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X5</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X6</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF6</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG6</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH6</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ6</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK6</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM6</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN6</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ6</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU6</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV6</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX6</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ6</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X6</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X7</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF7</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG7</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH7</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ7</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK7</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM7</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN7</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ7</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU7</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV7</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX7</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ7</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X7</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X8</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF8</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG8</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH8</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ8</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK8</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM8</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN8</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ8</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU8</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV8</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX8</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ8</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X8</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
    <PortfolioCategory>
      <Name>Year 20X9</Name>
      <Symbols>
        <PortfolioSymbol>
          <Name>DVF9</Name>
          <Description>EUREX Indices VSTOXX MINI JAN 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVG9</Name>
          <Description>EUREX Indices VSTOXX MINI FEB 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVH9</Name>
          <Description>EUREX Indices VSTOXX MINI MAR 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVJ9</Name>
          <Description>EUREX Indices VSTOXX MINI APR 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVK9</Name>
          <Description>EUREX Indices VSTOXX MINI MAY 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVM9</Name>
          <Description>EUREX Indices VSTOXX MINI JUN 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVN9</Name>
          <Description>EUREX Indices VSTOXX MINI JUL 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVQ9</Name>
          <Description>EUREX Indices VSTOXX MINI AUG 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVU9</Name>
          <Description>EUREX Indices VSTOXX MINI SEP 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVV9</Name>
          <Description>EUREX Indices VSTOXX MINI OCT 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVX9</Name>
          <Description>EUREX Indices VSTOXX MINI NOV 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
        <PortfolioSymbol>
          <Name>DVZ9</Name>
          <Description>EUREX Indices VSTOXX MINI DEC 20X9</Description>
          <Decimals>2</Decimals>
          <PipSize>2</PipSize>
          <PipFraction>2</PipFraction>
          <TickSize>0.05</TickSize>
        </PortfolioSymbol>
      </Symbols>
    </PortfolioCategory>
  </Categories>
</Portfolio>