https://www.dict.cc/english-german/War+of+the+First+Coalition.html