Holiday in Germany - Changes in the Trading Schedule on October 3, 2019