sensor for semiconductor, industrial proximity sensor