Met een recordkwartaal (9,3 miljard omzet) overtreft de Nederlandse chipmachinefabrikant verwachtingen van beleggers. Van een DeepSeek-dip is geen sprake.