electromagnetically operated valve