Did Nazi Germany ever have its own marine/naval infantry force? Did they ever carry out any amphibious operations during the war?