Le chef de l’ASML, Peter Wennink, démissionne