El jefe de ASML, Peter Wennink, dimitirá