Anton Friedrich König (German, born after –died after 1838)