ifm efector proximity sensor