re: #84 buzzsawmonkey

Thanks for the correction. A senior moment confusing Vichy and Petain. Petain’s people were rather too enthusiastic in helping out their Nazi counterparts. Thank G-d the Brits sank the French fleet before the Germans could get it.