Theorie und Praxis militärischen Wissens zwischen China und Korea im langen 17. Jahrhundert