Eurex launches further equity options on German mid caps