I love these research projects.
Posted below are a couple of links that I found on the Net about these knives after just a cursory search.
The blades of both are marked "Rostfrei" which is not a brand name but is the German word for "stainless" (rust free). However, this doesn't necessarily mean that the knives were made in Germany; the blades almost certainly were but not necessarily the knives. Both likely date between the 60's to 80's.
One identical to the Mini Automatic (except for color) was offered for sale 8 years ago on TalkBlade. See:
viewtopic.php?t=21292. My guess that because of the wording printed on the knife, it was made in Germany (or somewhere in Europe) for sale in the US.
A black knife identical to the red one was discussed 14 years ago in another TalkBlade thread. See:
https://www.talkblade.info/viewtopic.php?t=9310
The stamping on the blade on that knife is identical to the red one here and it was attributed to Vittorio Beltrame in Italy. If so, the blade was likely sourced in Germany but the knife was made in Italy, which seems logical since many stilettos of this type were made in Italy and are also often marked "rostfrei."
Between the 2, I'd keep the red one because it's a classic, more valuable/collectible than the other and matches almost identically a black stiletto that I bought in the 80's and still own.
The black OTF just looks cheap (anything with that kind of labeling on it usually is) and, unless it has some sentimental value, I'd either sell it or gift it away. Putting a value on it here for the OP violates BF's rules but pricing is discussed in the thread mentioned above.