German mercenaries in Pensacola during the American Revolution, 1779-1781 | lit.salon