Holiday Definition

The exchange will be closed for the entire day for trading in CECExt contracts.