DAX 30 index: History, composition and trading of the DAX 30 index