...popular belief that Cartman's name was derived from German war-pilot Erich Hartmann...