Why would Holland sanction people who switch jobs? Don't get me wrong, I can absolutely see how it might have happened if ASML had been an US company. I'm just not sure how you figure that it would happen in Europe.

Unless things have changed much since the days of AQ Khan, that's probably the case.