Picked up this old wrench the other day. It's marked 1/2" & 9/16" on one side, and 12mm & 14mm on the other. No maker's marking. Anybody know who made this and when?