PT10 - Welding tools for plastic pipes