https://www.dict.cc/english-german/1+5+line+spacing.html