Punching pliers, hole tool for creating precisely fitting entries in concrete boxes, hole always 1-3mm smaller than pipe/cable diameter, with 23mm punch insert for pipe M25