Rohr-/Schlauchschneider ZRS, Festo