https://www.dict.cc/english-german/the+Holy+Roman+Empire+of+the+German+Nation.html