I found these interesting double open end wrenches cleaning out my wife’s uncle’s house. Any information would be greatly appreciated here as well.