old german self adjusting pipe wrench