I just found a bunch of old realistic small radio tubes further down in the box that held the old Bus radio from my previous post.  I was into radio (of many types and bands) and TV repair and operation back in the tube days when I had more time so it may mean nothing.  They may go to the Blaupunkt and they may not.  In any case, I will send them along to whoever buys the radio.

Dave B.