mil tex vintage linesmans pliers help identifying made in Japan company was German