Karl Spruner von Mertz — German general and cartographer