You have two silver tokens from the Franklin Mint sets "The Official Gaming Coins of the World's Great Casinos" issued in the late 1970's. Each set had 25 coins (not termed tokens by FM), each with a denomination of about US$25. The German tokens you show were from different sets, 100 in the 'red box' set and 50 in the 'green box' set.

I'm told the German coins were still accepted at face in the casino up till the DM was discontinued. I don't know if you can still do so now that the Euro is in use.