Johan Frederik Bardenfleth - Danish military personnel (1772-1833)