Johan Dietrich Haxthausen — major-general and Danish commander