The ticker symbol for DAX 30 index options is DAX. After entering the ticker select Options followed by the desired contract from the option chains window.
Clients may search the IBKR contract database through the Contract Search tool available from the Support area of the IBKR website.