Machine tools for working hard plastics