Found a few old tools while digging through my piles. One is a Kraeuter socket, next is a BUHL wrench, then a Barcaloy-Buffalo wrench and finally a BMW metric wrench made in Austria. In info on these? Not sure if the Kraueter is vintage, I've just never heard of that brand.