[tdeck]

My comment wasn't intended as a "correction", just adding that historians seem to refer to this war by a different name these days. At least in the textbooks I learned from, it was discussed in the context of the Seven Years War.