May I add an a brief unconfirmed story from a friend stationed in Germany from 1959-63. Being from south Louisiana, hung with three guys from Florida who also were divers. They also heard stories of guns in Bavarian lakes. Eventually they pulled up barrels filled with oil and some were all Mausers which they resealed and resank but the ones which had pistols, mostly P-38s or Lugers, were sold for 15 dollars each to other G.I.s. I know it is not truly this thread, but you triggered a memory.