I've learned that both the British and the colonial US forces utilized "German" mercenaries and officers during the Revolutionary War. Was there a "Germany" at this time? What nation were they actually from?