Hot cutter

A tool for cutting metal which has been softened by heating.