Eurex launches three new Dutch equity options