ASML boekt na vijf kwartalen weer winst; CEO met pensioen--2