TIL, thanks! So Europe does have some big players in the chip production facility infrastructure, after all!