Robots that help with manufacturing: A comprehensive robot encyclopedia - When