I recently came across these pliers. They are obviously older, I can see that they are German made, They feel like quality. Anyone know who made them?