ASML firing 1700 people, mostly managers