ASML krijgt harde klappen op de beurs na lekken van kwartaalcijfers